diff options
Diffstat (limited to 'subprojects/frontend/src/editor/createEditorState.ts')
-rw-r--r-- | subprojects/frontend/src/editor/createEditorState.ts | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/subprojects/frontend/src/editor/createEditorState.ts b/subprojects/frontend/src/editor/createEditorState.ts index 7b0f3c07..c61f4a22 100644 --- a/subprojects/frontend/src/editor/createEditorState.ts +++ b/subprojects/frontend/src/editor/createEditorState.ts | |||
@@ -36,7 +36,6 @@ import problemLanguageSupport from '../language/problemLanguageSupport'; | |||
36 | 36 | ||
37 | import type EditorStore from './EditorStore'; | 37 | import type EditorStore from './EditorStore'; |
38 | import SearchPanel from './SearchPanel'; | 38 | import SearchPanel from './SearchPanel'; |
39 | import editorClassNames from './editorClassNames'; | ||
40 | import findOccurrences from './findOccurrences'; | 39 | import findOccurrences from './findOccurrences'; |
41 | import semanticHighlighting from './semanticHighlighting'; | 40 | import semanticHighlighting from './semanticHighlighting'; |
42 | 41 | ||
@@ -75,7 +74,7 @@ export default function createEditorState( | |||
75 | codeFolding({ | 74 | codeFolding({ |
76 | placeholderDOM(_view, onClick) { | 75 | placeholderDOM(_view, onClick) { |
77 | const button = document.createElement('button'); | 76 | const button = document.createElement('button'); |
78 | button.className = editorClassNames.foldPlaceholder; | 77 | button.className = 'problem-editor-foldPlaceholder'; |
79 | button.ariaLabel = 'Unfold lines'; | 78 | button.ariaLabel = 'Unfold lines'; |
80 | const span = document.createElement('span'); | 79 | const span = document.createElement('span'); |
81 | span.innerText = '...'; | 80 | span.innerText = '...'; |
@@ -88,10 +87,8 @@ export default function createEditorState( | |||
88 | markerDOM(open) { | 87 | markerDOM(open) { |
89 | const div = document.createElement('div'); | 88 | const div = document.createElement('div'); |
90 | div.className = [ | 89 | div.className = [ |
91 | editorClassNames.foldMarker, | 90 | 'problem-editor-foldMarker', |
92 | open | 91 | `problem-editor-foldMarker-${open ? 'open' : 'closed'}`, |
93 | ? editorClassNames.foldMarkerOpen | ||
94 | : editorClassNames.foldMarkerClosed, | ||
95 | ].join(' '); | 92 | ].join(' '); |
96 | return div; | 93 | return div; |
97 | }, | 94 | }, |