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 dced7eca..818a056c 100644
--- a/language-web/src/main/webapp/script.js
+++ b/language-web/src/main/webapp/script.js
@@ -16,5 +16,5 @@ require.config({
     }]
 });
 require(["xtext-resources/generated/mode-problem", "xtext/xtext-codemirror"], function(mode, xtext) {
-        window.xtextEditor = xtext.createEditor({baseUrl: baseUrl,});
+        xtext.createEditor({baseUrl: baseUrl, indentUnit: 4,});
 });