diff options
Diffstat (limited to 'language-web/src/main/js/index.js')
-rw-r--r-- | language-web/src/main/js/index.js | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/language-web/src/main/js/index.js b/language-web/src/main/js/index.js new file mode 100644 index 00000000..b4cd450e --- /dev/null +++ b/language-web/src/main/js/index.js | |||
@@ -0,0 +1,12 @@ | |||
1 | import xtext from 'xtext/xtext-codemirror'; | ||
2 | import 'mode-problem'; | ||
3 | |||
4 | import '../css/index.scss'; | ||
5 | |||
6 | xtext.createEditor({ | ||
7 | baseUrl: '/', | ||
8 | xtextLang: 'problem', | ||
9 | enableFormattingAction: true, | ||
10 | sendFullText: false, | ||
11 | indentUnit: 2, | ||
12 | }); | ||