diff options
author | 2021-10-11 01:13:32 +0200 | |
---|---|---|
committer | 2021-10-31 19:26:10 +0100 | |
commit | 1d7f4031d614ae16b53de5a84312a71346da0c9c (patch) | |
tree | 961eedc36eca26af61baa862e5cf4b9d1b04de79 /language/src | |
parent | feat(web): experiment with Lezer parser (diff) | |
download | refinery-1d7f4031d614ae16b53de5a84312a71346da0c9c.tar.gz refinery-1d7f4031d614ae16b53de5a84312a71346da0c9c.tar.zst refinery-1d7f4031d614ae16b53de5a84312a71346da0c9c.zip |
chore(web): remove CodeMirror 5 MWE2 integration
CodeMirror 6 uses a hand-writter Lezer parser instead of the stream
parser generated by Xtext for CodeMirror 5.
Diffstat (limited to 'language/src')
-rw-r--r-- | language/src/main/java/tools/refinery/language/GenerateProblem.mwe2 | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2 b/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2 index 1b177c94..79eb79a7 100644 --- a/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2 +++ b/language/src/main/java/tools/refinery/language/GenerateProblem.mwe2 | |||
@@ -3,8 +3,6 @@ module tools.refinery.language.GenerateProblem | |||
3 | import org.eclipse.xtext.xtext.generator.* | 3 | import org.eclipse.xtext.xtext.generator.* |
4 | import org.eclipse.xtext.xtext.generator.model.project.* | 4 | import org.eclipse.xtext.xtext.generator.model.project.* |
5 | 5 | ||
6 | import tools.refinery.language.mwe2.* | ||
7 | |||
8 | var rootPath = ".." | 6 | var rootPath = ".." |
9 | 7 | ||
10 | Workflow { | 8 | Workflow { |
@@ -20,11 +18,6 @@ Workflow { | |||
20 | genericIde = { | 18 | genericIde = { |
21 | name = "language-ide" | 19 | name = "language-ide" |
22 | } | 20 | } |
23 | web = { | ||
24 | enabled = true | ||
25 | name = "language-web" | ||
26 | assets = "../language-web/build/generated/sources/xtext" | ||
27 | } | ||
28 | mavenLayout = true | 21 | mavenLayout = true |
29 | } | 22 | } |
30 | code = { | 23 | code = { |
@@ -53,13 +46,6 @@ Workflow { | |||
53 | skipXbaseTestingPackage = true | 46 | skipXbaseTestingPackage = true |
54 | junitVersion = "5" | 47 | junitVersion = "5" |
55 | } | 48 | } |
56 | webSupport = ProblemWebIntegrationFragment { | ||
57 | highlightingPath = "js/mode-problem.js" | ||
58 | generateHtmlExample = false | ||
59 | generateJettyLauncher = false | ||
60 | generateServlet = false | ||
61 | generateWebXml = false | ||
62 | } | ||
63 | } | 49 | } |
64 | } | 50 | } |
65 | } | 51 | } |