diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-10-10 01:11:33 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:09 +0100 |
commit | 2ada4a06167b3a00a4c4c69e1b0c78b00ef1db5f (patch) | |
tree | 24f0b0bf8f8959ebcf0722456da2d6260c6f1421 /language-web/src/main/js/editor/editor.ts | |
parent | Merge pull request #7 from golej-marci/language-to-store (diff) | |
download | refinery-2ada4a06167b3a00a4c4c69e1b0c78b00ef1db5f.tar.gz refinery-2ada4a06167b3a00a4c4c69e1b0c78b00ef1db5f.tar.zst refinery-2ada4a06167b3a00a4c4c69e1b0c78b00ef1db5f.zip |
feat(web): add CodeMirror 6 editor
Diffstat (limited to 'language-web/src/main/js/editor/editor.ts')
-rw-r--r-- | language-web/src/main/js/editor/editor.ts | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/language-web/src/main/js/editor/editor.ts b/language-web/src/main/js/editor/editor.ts deleted file mode 100644 index fbf8796b..00000000 --- a/language-web/src/main/js/editor/editor.ts +++ /dev/null | |||
@@ -1,18 +0,0 @@ | |||
1 | import 'codemirror/addon/selection/active-line'; | ||
2 | import 'mode-problem'; | ||
3 | import { Controlled } from 'react-codemirror2'; | ||
4 | import { createServices, removeServices } from 'xtext/xtext-codemirror'; | ||
5 | |||
6 | export interface IEditorChunk { | ||
7 | CodeMirror: typeof Controlled; | ||
8 | |||
9 | createServices: typeof createServices; | ||
10 | |||
11 | removeServices: typeof removeServices; | ||
12 | } | ||
13 | |||
14 | export const editorChunk: IEditorChunk = { | ||
15 | CodeMirror: Controlled, | ||
16 | createServices, | ||
17 | removeServices, | ||
18 | }; | ||