diff options
Diffstat (limited to 'language-web/src/main/webapp/script.js')
-rw-r--r-- | language-web/src/main/webapp/script.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/webapp/script.js b/language-web/src/main/webapp/script.js index 818a056c..4b466fed 100644 --- a/language-web/src/main/webapp/script.js +++ b/language-web/src/main/webapp/script.js | |||
@@ -16,5 +16,5 @@ require.config({ | |||
16 | }] | 16 | }] |
17 | }); | 17 | }); |
18 | require(["xtext-resources/generated/mode-problem", "xtext/xtext-codemirror"], function(mode, xtext) { | 18 | require(["xtext-resources/generated/mode-problem", "xtext/xtext-codemirror"], function(mode, xtext) { |
19 | xtext.createEditor({baseUrl: baseUrl, indentUnit: 4,}); | 19 | xtext.createEditor({baseUrl: baseUrl, indentUnit: 2,}); |
20 | }); | 20 | }); |