DiagnosticState
data class DiagnosticState(val values: List<Diagnostic> = emptyList(), val revision: Long = 0, val seenRevision: Long = 0)
A page's accumulated diagnostics from every source (syntax, solver, ...), each independently replaceable via replaceSource, plus an unread-changes counter for a lower-tab badge.
Functions
Link copied to clipboard
Link copied to clipboard
Replaces only the diagnostics previously contributed by source, leaving every other source untouched.