aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-06-27 18:36:39 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-06-27 18:36:39 +0200
commitb0a45d822dc7580da6579228875b5847365121ec (patch)
tree361588026e20eaadebd937c499b807a4a47a39a8 /language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
parentCustomize client-side CodeMirror mode (diff)
downloadrefinery-b0a45d822dc7580da6579228875b5847365121ec.tar.gz
refinery-b0a45d822dc7580da6579228875b5847365121ec.tar.zst
refinery-b0a45d822dc7580da6579228875b5847365121ec.zip
Electric semicolons
Diffstat (limited to 'language-web/src/main/webapp/xtext-resources/generated/mode-problem.js')
-rw-r--r--language-web/src/main/webapp/xtext-resources/generated/mode-problem.js3
1 files changed, 2 insertions, 1 deletions
diff --git a/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
index 1640d13d..92adcff1 100644
--- a/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
+++ b/language-web/src/main/webapp/xtext-resources/generated/mode-problem.js
@@ -21,7 +21,7 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp
21 meta: { 21 meta: {
22 dontIndentStates: ["comment"], 22 dontIndentStates: ["comment"],
23 lineComment: "%", 23 lineComment: "%",
24 electricChars: "])]" 24 electricChars: "])];"
25 }, 25 },
26 predicateBody: [ 26 predicateBody: [
27 {token: "comment", regex: "\\/\\*", next : "comment"}, 27 {token: "comment", regex: "\\/\\*", next : "comment"},
@@ -34,6 +34,7 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp
34 {token: "lparen", indent: true, regex: "[[({]"}, 34 {token: "lparen", indent: true, regex: "[[({]"},
35 {token: "rparen", dedent: true, dedentIfLineStart: true, regex: "[\\])}]"}, 35 {token: "rparen", dedent: true, dedentIfLineStart: true, regex: "[\\])}]"},
36 {dedent: true, dedentIfLineStart: false, pop: true, regex: "\\.\\s*$"}, 36 {dedent: true, dedentIfLineStart: false, pop: true, regex: "\\.\\s*$"},
37 {indent: true, dedent: true, regex: "[;]"},
37 {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} 38 {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}
38 ] 39 ]
39 }); 40 });