aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/webapp/script.js
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/src/main/webapp/script.js')
-rw-r--r--language-web/src/main/webapp/script.js20
1 files changed, 0 insertions, 20 deletions
diff --git a/language-web/src/main/webapp/script.js b/language-web/src/main/webapp/script.js
deleted file mode 100644
index 4b466fed..00000000
--- a/language-web/src/main/webapp/script.js
+++ /dev/null
@@ -1,20 +0,0 @@
1var baseUrl = window.location.pathname;
2var fileIndex = baseUrl.indexOf("index.html");
3if (fileIndex > 0)
4 baseUrl = baseUrl.slice(0, fileIndex)
5require.config({
6 baseUrl: baseUrl,
7 paths: {
8 "text": "webjars/requirejs-text/2.26.0.M1/text",
9 "jquery": "webjars/jquery/3.6.0/jquery.min",
10 "xtext/xtext-codemirror": "xtext/2.26.0.M1/xtext-codemirror",
11 },
12 packages: [{
13 name: "codemirror",
14 location: "webjars/codemirror/5.52.2",
15 main: "lib/codemirror"
16 }]
17});
18require(["xtext-resources/generated/mode-problem", "xtext/xtext-codemirror"], function(mode, xtext) {
19 xtext.createEditor({baseUrl: baseUrl, indentUnit: 2,});
20});