From 82a2ca3c963e47611d1ba55f6938e7665488fc5a Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 28 Jun 2021 17:16:56 +0200 Subject: Fix real literals --- language-web/src/main/webapp/style.css | 2 +- .../src/main/webapp/xtext-resources/generated/mode-problem.js | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) (limited to 'language-web/src/main/webapp') 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 { top: 108px; bottom: 0; left: 0; - width: 50%; + width: 100%; box-shadow: 0 0 8px rgba(80, 10, 98, .25), 0 10px 24px rgba(80, 10, 98, .35); border-radius: 16px; } 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 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, SimpleMode) { var keywords = "abstract|class|contains|enum|error|extends|false|opposite|pred|problem|refers|scope|true|unknown"; - var extraKeywords = "!|\\(|\\)|\\*|\\+|,|-|\\.|:|;|=|\\?|\\[|\\]|\\{|\\}"; CodeMirror.defineSimpleMode("xtext/problem", { start: [ {token: "comment", regex: "\\/\\*", next : "comment"}, @@ -13,8 +12,7 @@ define(["codemirror", "codemirror/addon/mode/simple"], function(CodeMirror, Simp {token: "lparen", indent: true, regex: "[[({]"}, {token: "rparen", dedent: true, regex: "[\\])}]"}, {indent: true, push: "predicateBody", regex: ":-"}, - {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"}, - {token: "keyword", regex: "(?:^|\\s)(?:" + extraKeywords + ")(?=[\\s.:;,!?+\\-*/&|<>()[\\]{}]|$)"} + {token: "keyword", regex: "\\b(?:" + keywords + ")\\b"} ], comment: [ {token: "comment", regex: ".*?\\*\\/", next : "start"}, -- cgit v1.2.3-70-g09d2