1 files changed, 0 insertions, 52 deletions

diff --git a/language-web/src/main/js/editor/Editor.jsx b/language-web/src/main/js/editor/Editor.jsx
deleted file mode 100644
index 4cd9b3bd..00000000
--- a/language-web/src/main/js/editor/Editor.jsx
+++ /dev/null
@@ -1,52 +0,0 @@
-import { observer } from 'mobx-react-lite';
-import 'mode-problem';
-import React, { useCallback } from 'react';
-import { Controlled as CodeMirror } from 'react-codemirror2-react-17';
-import { createServices, removeServices } from 'xtext/xtext-codemirror';
-
-import { useRootStore } from '../RootStore';
-
-export default observer(() => {
-  const editorStore = useRootStore().editorStore;
-
-  const codeMirrorOptions = {
-    mode: 'xtext/problem',
-    indentUnit: 2,
-    theme: 'material-darker',
-    lineNumbers: editorStore.showLineNumbers,
-  };
-
-  const xtextOptions = {
-    xtextLang: 'problem',
-    enableFormattingAction: true,
-  }
-
-  const editorDidMount = useCallback((editor) => {
-    createServices(editor, xtextOptions);
-    editorStore.updateEditor(editor);
-  }, [editorStore]);
-
-  const editorWillUnmount = useCallback((editor) => {
-    editorStore.editor = null;
-    removeServices(editor);
-  }, [editorStore]);
-
-  const onBeforeChange = useCallback((_editor, _data, value) => {
-    editorStore.updateValue(value);
-  }, [editorStore]);
-
-  const onChange = useCallback((_editor, _data, _value) => {
-    editorStore.reportChanged();
-  }, [editorStore]);
-
-  return (
-    <CodeMirror
-      value={editorStore.value}
-      options={codeMirrorOptions}
-      editorDidMount={editorDidMount}
-      editorWillUnmount={editorWillUnmount}
-      onBeforeChange={onBeforeChange}
-      onChange={onChange}
-    />
-  );
-});