diff options
Diffstat (limited to 'language-web/src/main/js/editor/Editor.jsx')
-rw-r--r-- | language-web/src/main/js/editor/Editor.jsx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language-web/src/main/js/editor/Editor.jsx b/language-web/src/main/js/editor/Editor.jsx index c4b2e183..98cf2715 100644 --- a/language-web/src/main/js/editor/Editor.jsx +++ b/language-web/src/main/js/editor/Editor.jsx | |||
@@ -12,6 +12,8 @@ export default observer(() => { | |||
12 | const codeMirrorOptions = { | 12 | const codeMirrorOptions = { |
13 | mode: 'xtext/problem', | 13 | mode: 'xtext/problem', |
14 | indentUnit: 2, | 14 | indentUnit: 2, |
15 | theme: 'material-darker', | ||
16 | lineNumbers: editorStore.showLineNumbers, | ||
15 | }; | 17 | }; |
16 | 18 | ||
17 | const xtextOptions = { | 19 | const xtextOptions = { |