diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-10-31 15:57:18 -0400 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-05 19:41:17 +0100 |
commit | 20895372d408e41d2cb929dc7a568afce94807ce (patch) | |
tree | dd192e1d64e5ecec6ec17a72df3f86acbacc5c95 /subprojects/frontend/src/editor/createEditorState.ts | |
parent | refactor: DNF atoms (diff) | |
download | refinery-20895372d408e41d2cb929dc7a568afce94807ce.tar.gz refinery-20895372d408e41d2cb929dc7a568afce94807ce.tar.zst refinery-20895372d408e41d2cb929dc7a568afce94807ce.zip |
refactor(frontend): editor theme improvements
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 c61f4a22..079e8a47 100644 --- a/subprojects/frontend/src/editor/createEditorState.ts +++ b/subprojects/frontend/src/editor/createEditorState.ts | |||
@@ -37,6 +37,7 @@ import problemLanguageSupport from '../language/problemLanguageSupport'; | |||
37 | import type EditorStore from './EditorStore'; | 37 | import type EditorStore from './EditorStore'; |
38 | import SearchPanel from './SearchPanel'; | 38 | import SearchPanel from './SearchPanel'; |
39 | import findOccurrences from './findOccurrences'; | 39 | import findOccurrences from './findOccurrences'; |
40 | import indentationMarkerViewPlugin from './indentationMarkerViewPlugin'; | ||
40 | import semanticHighlighting from './semanticHighlighting'; | 41 | import semanticHighlighting from './semanticHighlighting'; |
41 | 42 | ||
42 | export default function createEditorState( | 43 | export default function createEditorState( |
@@ -60,6 +61,7 @@ export default function createEditorState( | |||
60 | highlightSpecialChars(), | 61 | highlightSpecialChars(), |
61 | history(), | 62 | history(), |
62 | indentOnInput(), | 63 | indentOnInput(), |
64 | indentationMarkerViewPlugin(), | ||
63 | rectangularSelection(), | 65 | rectangularSelection(), |
64 | search({ | 66 | search({ |
65 | createPanel(view) { | 67 | createPanel(view) { |