diff options
author | 2021-06-28 17:16:56 +0200 | |
---|---|---|
committer | 2021-06-28 17:16:56 +0200 | |
commit | 82a2ca3c963e47611d1ba55f6938e7665488fc5a (patch) | |
tree | 6913165e6941526730c60f2cd3ed6678c387df44 /language-web/src/main/webapp | |
parent | Add scoping tests and simplify implicit nodes (diff) | |
download | refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.tar.gz refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.tar.zst refinery-82a2ca3c963e47611d1ba55f6938e7665488fc5a.zip |
Fix real literals
Diffstat (limited to 'language-web/src/main/webapp')
-rw-r--r-- | language-web/src/main/webapp/style.css | 2 | ||||
-rw-r--r-- | language-web/src/main/webapp/xtext-resources/generated/mode-problem.js | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/language-web/src/main/webapp/style.css b/language-web/src/main/webapp/style.css index 03018f93..f3a6b7f9 100644 --- a/language-web/src/main/webapp/style.css +++ b/language-web/src/main/webapp/style.css | |||
@@ -47,7 +47,7 @@ a:hover { | |||
47 | top: 108px; | 47 | top: 108px; |
48 | bottom: 0; | 48 | bottom: 0; |
49 | left: 0; | 49 | left: 0; |
50 | width: 50%; | 50 | width: 100%; |
51 | box-shadow: 0 0 8px rgba(80, 10, 98, .25), 0 10px 24px rgba(80, 10, 98, .35); | 51 | box-shadow: 0 0 8px rgba(80, 10, 98, .25), 0 10px 24px rgba(80, 10, 98, .35); |
52 | border-radius: 16px; | 52 | border-radius: 16px; |
53 | } | 53 | } |
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 ba39dd13..d962a0bb 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 | |||
@@ -1,6 +1,5 @@ | |||
1 | define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) { | 1 | define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) { |
2 | var keywords = "abstract|class|contains|enum|error|extends|false|opposite|pred|problem|refers|scope|true|unknown"; | 2 | var keywords = "abstract|class|contains|enum|error|extends|false|opposite|pred|problem|refers|scope|true|unknown"; |
3 | var extraKeywords = "!|\\(|\\)|\\*|\\+|,|-|\\.|:|;|=|\\?|\\[|\\]|\\{|\\}"; | ||
4 | CodeMirror.defineSimpleMode("xtext/problem", { | 3 | CodeMirror.defineSimpleMode("xtext/problem", { |
5 | start: [ | 4 | start: [ |
6 | {token: "comment", regex: "\\/\\*", next : "comment"}, | 5 | {token: "comment", regex: "\\/\\*", next : "comment"}, |
@@ -13,8 +12,7 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp | |||
13 | {token: "lparen", indent: true, regex: "[[({]"}, | 12 | {token: "lparen", indent: true, regex: "[[({]"}, |
14 | {token: "rparen", dedent: true, regex: "[\\])}]"}, | 13 | {token: "rparen", dedent: true, regex: "[\\])}]"}, |
15 | {indent: true, push: "predicateBody", regex: ":-"}, | 14 | {indent: true, push: "predicateBody", regex: ":-"}, |
16 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}, | 15 | {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} |
17 | {token: "keyword", regex: "(?:^|\\s)(?:" + extraKeywords + ")(?=[\\s.:;,!?+\\-*/&|<>()[\\]{}]|$)"} | ||
18 | ], | 16 | ], |
19 | comment: [ | 17 | comment: [ |
20 | {token: "comment", regex: ".*?\\*\\/", next : "start"}, | 18 | {token: "comment", regex: ".*?\\*\\/", next : "start"}, |