diff options
author | 2021-06-27 17:59:54 +0200 | |
---|---|---|
committer | 2021-06-27 18:09:46 +0200 | |
commit | 5785f36b17d2b290d88c05fee54e39060a07b6d4 (patch) | |
tree | 31f4f319b493d6f29e13ef63fe46eb18935178b5 /language-web/src/main/webapp/script.js | |
parent | Fix running outside of Eclipse (diff) | |
download | refinery-5785f36b17d2b290d88c05fee54e39060a07b6d4.tar.gz refinery-5785f36b17d2b290d88c05fee54e39060a07b6d4.tar.zst refinery-5785f36b17d2b290d88c05fee54e39060a07b6d4.zip |
Customize client-side CodeMirror mode
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 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({ | |||
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 | window.xtextEditor = xtext.createEditor({baseUrl: baseUrl,}); | 19 | xtext.createEditor({baseUrl: baseUrl, indentUnit: 4,}); |
20 | }); | 20 | }); |