diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-10-11 01:13:32 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:10 +0100 |
commit | 1d7f4031d614ae16b53de5a84312a71346da0c9c (patch) | |
tree | 961eedc36eca26af61baa862e5cf4b9d1b04de79 /language-web/webpack.config.js | |
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-web/webpack.config.js')
-rw-r--r-- | language-web/webpack.config.js | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/language-web/webpack.config.js b/language-web/webpack.config.js index c51d55d6..55b590ca 100644 --- a/language-web/webpack.config.js +++ b/language-web/webpack.config.js | |||
@@ -25,7 +25,6 @@ const publicHost = process.env['PUBLIC_HOST'] || listenHost; | |||
25 | const publicPort = portNumberOrElse('PUBLIC_PORT', listenPort); | 25 | const publicPort = portNumberOrElse('PUBLIC_PORT', listenPort); |
26 | 26 | ||
27 | const resolveSources = sources => path.resolve(__dirname, 'src', sources); | 27 | const resolveSources = sources => path.resolve(__dirname, 'src', sources); |
28 | const resolveGenerated = sources => path.resolve(__dirname, 'build/generated/sources', sources); | ||
29 | const mainJsSources = resolveSources('main/js'); | 28 | const mainJsSources = resolveSources('main/js'); |
30 | const babelLoaderFilters = { | 29 | const babelLoaderFilters = { |
31 | include: [mainJsSources], | 30 | include: [mainJsSources], |
@@ -150,7 +149,6 @@ module.exports = { | |||
150 | modules: [ | 149 | modules: [ |
151 | 'node_modules', | 150 | 'node_modules', |
152 | mainJsSources, | 151 | mainJsSources, |
153 | resolveGenerated('xtext/js'), | ||
154 | ], | 152 | ], |
155 | extensions: ['.js', '.jsx', '.ts', '.tsx'], | 153 | extensions: ['.js', '.jsx', '.ts', '.tsx'], |
156 | alias: { | 154 | alias: { |