diff options
author | 2023-04-26 20:01:20 +0200 | |
---|---|---|
committer | 2023-04-26 20:06:50 +0200 | |
commit | a854b1acdef27c54fe008d236282386efc44783e (patch) | |
tree | 7975abaf876db71030a3268bea3e8acf4b0c58fb /subprojects/frontend/src/editor/createEditorState.ts | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-a854b1acdef27c54fe008d236282386efc44783e.tar.gz refinery-a854b1acdef27c54fe008d236282386efc44783e.tar.zst refinery-a854b1acdef27c54fe008d236282386efc44783e.zip |
fix(web): editor cursor styling
Temporarily remove custom scrollbar and indentation styling, because they
interferred with cursor visibility.
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 | } |