TextDiagnosticsState
Underlines what a TextDiagnosticsChecker finds in textState, line by line. Results are kept by line text, so after an edit only the lines that changed go to TextDiagnosticsChecker.check; TextDiagnosticsChecker.checkText sees the whole text every time. Pass it to com.darkrockstudios.texteditor.spellcheck.SpellCheckingTextEditor, which refreshes it as the text changes and opens a menu of the message and fixes on an underline. The underlines are on the diagnostics decoration layer, which it reads and replaces by line; a state made for the same editor later takes over the underlines an earlier one left.
Parameters
Underlines a DiagnosticSeverity.Error.
Underlines a DiagnosticSeverity.Suggestion.
Where the checker runs. Spans change on the caller's dispatcher.
How many lines' results to keep.
Constructors
Functions
Replaces the text under span, a diagnostic's underline, with fix, unless a refresh has since replaced it. The underline goes once fix has landed as given, and stays when the input filter refuses it, as com.darkrockstudios.texteditor.spellcheck.SpellCheckState.correctSpelling keeps a flag.
Removes the underlines an edit touched, ahead of the refresh that checks the edited lines again, so none sits on text it no longer describes. Edits that have landed since operation must be passed with it, through the overload taking a list.
Removes the underlines operations touched, edits that landed one after another with no other since (TextEditorState.editOperationBursts): each is read in the text after it, as moved by those after it. See the overload for one edit.
Replaces the checker, forgetting what the old one found, and checks the whole text again.
Redraws every DiagnosticSeverity.Error's underline in value.
Redraws every DiagnosticSeverity.Suggestion's underline in value.