WorkspaceState
data class WorkspaceState(val documents: Map<DocumentId, DocumentState> = emptyMap(), val pages: List<PageState> = emptyList(), val selectedPageId: PageId? = null, val configuration: WorkspaceConfiguration)
Every open document and page, which one is selected, and the workspace-wide configuration - invariants (every page's document exists, the selected page exists) are enforced in the init block below.
Constructors
Link copied to clipboard
constructor(documents: Map<DocumentId, DocumentState> = emptyMap(), pages: List<PageState> = emptyList(), selectedPageId: PageId? = null, configuration: WorkspaceConfiguration)