aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor/createEditorState.ts
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/frontend/src/editor/createEditorState.ts')
-rw-r--r--subprojects/frontend/src/editor/createEditorState.ts9
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
37import type EditorStore from './EditorStore'; 37import type EditorStore from './EditorStore';
38import SearchPanel from './SearchPanel'; 38import SearchPanel from './SearchPanel';
39import editorClassNames from './editorClassNames';
40import findOccurrences from './findOccurrences'; 39import findOccurrences from './findOccurrences';
41import semanticHighlighting from './semanticHighlighting'; 40import 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 },