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(() => {
   const codeMirrorOptions = {
     mode: 'xtext/problem',
     indentUnit: 2,
+    theme: 'material-darker',
+    lineNumbers: editorStore.showLineNumbers,
   };
 
   const xtextOptions = {