1 files changed, 50 insertions, 0 deletions

diff --git a/language-web/src/main/js/editor/Editor.jsx b/language-web/src/main/js/editor/Editor.jsx
new file mode 100644
index 00000000..c4b2e183
--- /dev/null
+++ b/language-web/src/main/js/editor/Editor.jsx
@@ -0,0 +1,50 @@
+import { observer } from 'mobx-react-lite';
+import 'mode-problem';
+import React, { useCallback } from 'react';
+import { Controlled as CodeMirror } from 'react-codemirror2';
+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,
+  };
+
+  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}
+    />
+  );
+});