PageState
data class PageState(val id: PageId, val title: String, val content: PageContent, val query: QueryState = QueryState(), val configuration: PageConfiguration = PageConfiguration(), val solverSession: SolverSessionState = SolverSessionState(), val resolution: ResolutionState = ResolutionState(), val history: PageHistoryState = PageHistoryState(), val console: ConsoleState = ConsoleState(), val diagnostics: DiagnosticState = DiagnosticState(), val semanticTokens: List<SemanticToken> = emptyList(), val features: Map<FeatureId, PageFeatureState> = emptyMap())
One page's entire state: what it edits/queries, its solver session, resolution/history, console, diagnostics, highlighting, and per-extension feature state.
Constructors
Link copied to clipboard
constructor(id: PageId, title: String, content: PageContent, query: QueryState = QueryState(), configuration: PageConfiguration = PageConfiguration(), solverSession: SolverSessionState = SolverSessionState(), resolution: ResolutionState = ResolutionState(), history: PageHistoryState = PageHistoryState(), console: ConsoleState = ConsoleState(), diagnostics: DiagnosticState = DiagnosticState(), semanticTokens: List<SemanticToken> = emptyList(), features: Map<FeatureId, PageFeatureState> = emptyMap())