diff options
Diffstat (limited to 'language-web/src/main/js/editor/Editor.jsx')
-rw-r--r-- | language-web/src/main/js/editor/Editor.jsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/editor/Editor.jsx b/language-web/src/main/js/editor/Editor.jsx index 98cf2715..4cd9b3bd 100644 --- a/language-web/src/main/js/editor/Editor.jsx +++ b/language-web/src/main/js/editor/Editor.jsx | |||
@@ -1,7 +1,7 @@ | |||
1 | import { observer } from 'mobx-react-lite'; | 1 | import { observer } from 'mobx-react-lite'; |
2 | import 'mode-problem'; | 2 | import 'mode-problem'; |
3 | import React, { useCallback } from 'react'; | 3 | import React, { useCallback } from 'react'; |
4 | import { Controlled as CodeMirror } from 'react-codemirror2'; | 4 | import { Controlled as CodeMirror } from 'react-codemirror2-react-17'; |
5 | import { createServices, removeServices } from 'xtext/xtext-codemirror'; | 5 | import { createServices, removeServices } from 'xtext/xtext-codemirror'; |
6 | 6 | ||
7 | import { useRootStore } from '../RootStore'; | 7 | import { useRootStore } from '../RootStore'; |