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, 0 insertions, 12 deletions
diff --git a/language-web/src/main/js/index.js b/language-web/src/main/js/index.js deleted file mode 100644 index b4cd450e..00000000 --- a/language-web/src/main/js/index.js +++ /dev/null | |||
@@ -1,12 +0,0 @@ | |||
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 | }); | ||