aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor/createEditorState.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-04-26 20:01:20 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2023-04-26 20:06:50 +0200
commita854b1acdef27c54fe008d236282386efc44783e (patch)
tree7975abaf876db71030a3268bea3e8acf4b0c58fb /subprojects/frontend/src/editor/createEditorState.ts
parentchore(deps): bump dependencies (diff)
downloadrefinery-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.ts4
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';
44import SearchPanel from './SearchPanel'; 44import SearchPanel from './SearchPanel';
45import exposeDiagnostics from './exposeDiagnostics'; 45import exposeDiagnostics from './exposeDiagnostics';
46import findOccurrences from './findOccurrences'; 46import findOccurrences from './findOccurrences';
47import indentationMarkerViewPlugin from './indentationMarkerViewPlugin';
48import scrollbarViewPlugin from './scrollbarViewPlugin';
49import semanticHighlighting from './semanticHighlighting'; 47import semanticHighlighting from './semanticHighlighting';
50 48
51export default function createEditorState( 49export 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}