diff options
Diffstat (limited to 'language-web/src/main/js/components/XtextCodeMirror.jsx')
-rw-r--r-- | language-web/src/main/js/components/XtextCodeMirror.jsx | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/language-web/src/main/js/components/XtextCodeMirror.jsx b/language-web/src/main/js/components/XtextCodeMirror.jsx deleted file mode 100644 index 75a20daa..00000000 --- a/language-web/src/main/js/components/XtextCodeMirror.jsx +++ /dev/null | |||
@@ -1,32 +0,0 @@ | |||
1 | import React, { useCallback, useState } from 'react'; | ||
2 | import { Controlled as CodeMirror } from 'react-codemirror2'; | ||
3 | import 'mode-problem'; | ||
4 | import { createServices, removeServices } from 'xtext/xtext-codemirror'; | ||
5 | |||
6 | export default function XtextCodeMirror({ initialValue }) { | ||
7 | const [value, setValue] = useState(initialValue); | ||
8 | |||
9 | const codeMirrorOptions = { | ||
10 | mode: 'xtext/problem', | ||
11 | indentUnit: 2, | ||
12 | }; | ||
13 | |||
14 | const xtextOptions = { | ||
15 | xtextLang: 'problem', | ||
16 | enableFormattingAction: true, | ||
17 | }; | ||
18 | |||
19 | const onBeforeChange = useCallback((_editor, _data, newValue) => { | ||
20 | setValue(newValue); | ||
21 | }, [setValue]); | ||
22 | |||
23 | return ( | ||
24 | <CodeMirror | ||
25 | value={value} | ||
26 | options={codeMirrorOptions} | ||
27 | editorDidMount={editor => createServices(editor, xtextOptions)} | ||
28 | editorWillUnmount={removeServices} | ||
29 | onBeforeChange={onBeforeChange} | ||
30 | /> | ||
31 | ); | ||
32 | }; | ||