diff options
Diffstat (limited to 'language-web/src/main/webapp/xtext-resources/generated')
-rw-r--r-- | language-web/src/main/webapp/xtext-resources/generated/mode-problem.js | 3 |
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 | }); |