diff options
author | 2022-11-25 15:28:56 +0100 | |
---|---|---|
committer | 2022-12-09 00:07:38 +0100 | |
commit | cc27b2fbea058022f2f3fc3b3f74d91355d7e237 (patch) | |
tree | 7b81505b181c821f66aa629f7702b975bd9eb2b3 /subprojects/frontend/src/editor/createEditorState.ts | |
parent | chore(web): fix lint error (diff) | |
download | refinery-cc27b2fbea058022f2f3fc3b3f74d91355d7e237.tar.gz refinery-cc27b2fbea058022f2f3fc3b3f74d91355d7e237.tar.zst refinery-cc27b2fbea058022f2f3fc3b3f74d91355d7e237.zip |
refactor(frontend): simplify diagnostic tracking
Diffstat (limited to 'subprojects/frontend/src/editor/createEditorState.ts')
-rw-r--r-- | subprojects/frontend/src/editor/createEditorState.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/frontend/src/editor/createEditorState.ts b/subprojects/frontend/src/editor/createEditorState.ts index 05028fcc..ce1efa4f 100644 --- a/subprojects/frontend/src/editor/createEditorState.ts +++ b/subprojects/frontend/src/editor/createEditorState.ts | |||
@@ -36,6 +36,7 @@ import problemLanguageSupport from '../language/problemLanguageSupport'; | |||
36 | 36 | ||
37 | import type EditorStore from './EditorStore'; | 37 | import type EditorStore from './EditorStore'; |
38 | import SearchPanel from './SearchPanel'; | 38 | import SearchPanel from './SearchPanel'; |
39 | import exposeDiagnostics from './exposeDiagnostics'; | ||
39 | import findOccurrences from './findOccurrences'; | 40 | import findOccurrences from './findOccurrences'; |
40 | import indentationMarkerViewPlugin from './indentationMarkerViewPlugin'; | 41 | import indentationMarkerViewPlugin from './indentationMarkerViewPlugin'; |
41 | import scrollbarViewPlugin from './scrollbarViewPlugin'; | 42 | import scrollbarViewPlugin from './scrollbarViewPlugin'; |
@@ -56,6 +57,7 @@ export default function createEditorState( | |||
56 | bracketMatching(), | 57 | bracketMatching(), |
57 | drawSelection(), | 58 | drawSelection(), |
58 | EditorState.allowMultipleSelections.of(true), | 59 | EditorState.allowMultipleSelections.of(true), |
60 | exposeDiagnostics, | ||
59 | findOccurrences, | 61 | findOccurrences, |
60 | highlightActiveLine(), | 62 | highlightActiveLine(), |
61 | highlightActiveLineGutter(), | 63 | highlightActiveLineGutter(), |