diff options
Diffstat (limited to 'subprojects/frontend/src/editor/editorClassNames.ts')
-rw-r--r-- | subprojects/frontend/src/editor/editorClassNames.ts | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/subprojects/frontend/src/editor/editorClassNames.ts b/subprojects/frontend/src/editor/editorClassNames.ts deleted file mode 100644 index 5584e8c2..00000000 --- a/subprojects/frontend/src/editor/editorClassNames.ts +++ /dev/null | |||
@@ -1,10 +0,0 @@ | |||
1 | const PREFIX = 'problem-editor-'; | ||
2 | |||
3 | const editorClassNames = { | ||
4 | foldPlaceholder: `${PREFIX}fold-placeholder`, | ||
5 | foldMarker: `${PREFIX}fold-marker`, | ||
6 | foldMarkerClosed: `${PREFIX}fold-marker-closed`, | ||
7 | foldMarkerOpen: `${PREFIX}fold-marker-open`, | ||
8 | }; | ||
9 | |||
10 | export default editorClassNames; | ||