diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-06-27 17:59:54 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 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 | }); |