diff options
Diffstat (limited to 'subprojects/frontend/src/editor/createEditorState.ts')
-rw-r--r-- | subprojects/frontend/src/editor/createEditorState.ts | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/subprojects/frontend/src/editor/createEditorState.ts b/subprojects/frontend/src/editor/createEditorState.ts index 4a8e9832..67b8fb9e 100644 --- a/subprojects/frontend/src/editor/createEditorState.ts +++ b/subprojects/frontend/src/editor/createEditorState.ts | |||
@@ -44,8 +44,6 @@ import type EditorStore from './EditorStore'; | |||
44 | import SearchPanel from './SearchPanel'; | 44 | import SearchPanel from './SearchPanel'; |
45 | import exposeDiagnostics from './exposeDiagnostics'; | 45 | import exposeDiagnostics from './exposeDiagnostics'; |
46 | import findOccurrences from './findOccurrences'; | 46 | import findOccurrences from './findOccurrences'; |
47 | import indentationMarkerViewPlugin from './indentationMarkerViewPlugin'; | ||
48 | import scrollbarViewPlugin from './scrollbarViewPlugin'; | ||
49 | import semanticHighlighting from './semanticHighlighting'; | 47 | import semanticHighlighting from './semanticHighlighting'; |
50 | 48 | ||
51 | export default function createEditorState( | 49 | export default function createEditorState( |
@@ -70,7 +68,6 @@ export default function createEditorState( | |||
70 | highlightSpecialChars(), | 68 | highlightSpecialChars(), |
71 | history(), | 69 | history(), |
72 | indentOnInput(), | 70 | indentOnInput(), |
73 | indentationMarkerViewPlugin(), | ||
74 | rectangularSelection(), | 71 | rectangularSelection(), |
75 | search({ | 72 | search({ |
76 | createPanel(view) { | 73 | createPanel(view) { |
@@ -129,7 +126,6 @@ export default function createEditorState( | |||
129 | ...defaultKeymap, | 126 | ...defaultKeymap, |
130 | ]), | 127 | ]), |
131 | problemLanguageSupport(), | 128 | problemLanguageSupport(), |
132 | scrollbarViewPlugin(store), | ||
133 | ], | 129 | ], |
134 | }); | 130 | }); |
135 | } | 131 | } |