aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor/createEditorState.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2022-10-31 19:15:21 -0400
committerLibravatar Kristóf Marussy <kristof@marussy.com>2022-11-05 19:41:17 +0100
commit216dea1a36d1c05108ac5cfcec84a7808ecf1d6e (patch)
tree338e11bc8f90f270899f40f8217a70a040375d7c /subprojects/frontend/src/editor/createEditorState.ts
parentrefactor(frontend): editor theme improvements (diff)
downloadrefinery-216dea1a36d1c05108ac5cfcec84a7808ecf1d6e.tar.gz
refinery-216dea1a36d1c05108ac5cfcec84a7808ecf1d6e.tar.zst
refinery-216dea1a36d1c05108ac5cfcec84a7808ecf1d6e.zip
feat(frontend): overlay scrollbars for editor
Diffstat (limited to 'subprojects/frontend/src/editor/createEditorState.ts')
-rw-r--r--subprojects/frontend/src/editor/createEditorState.ts2
1 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/frontend/src/editor/createEditorState.ts b/subprojects/frontend/src/editor/createEditorState.ts
index 079e8a47..05028fcc 100644
--- a/subprojects/frontend/src/editor/createEditorState.ts
+++ b/subprojects/frontend/src/editor/createEditorState.ts
@@ -38,6 +38,7 @@ import type EditorStore from './EditorStore';
38import SearchPanel from './SearchPanel'; 38import SearchPanel from './SearchPanel';
39import findOccurrences from './findOccurrences'; 39import findOccurrences from './findOccurrences';
40import indentationMarkerViewPlugin from './indentationMarkerViewPlugin'; 40import indentationMarkerViewPlugin from './indentationMarkerViewPlugin';
41import scrollbarViewPlugin from './scrollbarViewPlugin';
41import semanticHighlighting from './semanticHighlighting'; 42import semanticHighlighting from './semanticHighlighting';
42 43
43export default function createEditorState( 44export default function createEditorState(
@@ -120,6 +121,7 @@ export default function createEditorState(
120 ...defaultKeymap, 121 ...defaultKeymap,
121 ]), 122 ]),
122 problemLanguageSupport(), 123 problemLanguageSupport(),
124 scrollbarViewPlugin(store),
123 ], 125 ],
124 }); 126 });
125} 127}