feat(javascript): 添加lint

package.json

@@ -15,6 +15,7 @@
     "@codemirror/commands": "^6.3.2",
     "@codemirror/lang-javascript": "^6.2.1",
     "@codemirror/lang-xml": "^6.0.2",
+    "@codemirror/lint": "^6.4.2",
     "@codemirror/state": "^6.3.3",
     "@codemirror/view": "^6.22.3",
     "@geoman-io/leaflet-geoman-free": "^2.15.0",
@@ -34,6 +35,7 @@
     "dayjs": "^1.11.10",
     "dom-to-image": "^2.6.0",
     "element-plus": "^2.4.4",
+    "eslint-linter-browserify": "^8.56.0",
     "esri-leaflet": "^3.0.12",
     "file-saver": "^2.0.5",
     "highlight.js": "^11.9.0",

src/components/editor/javascript.ts

@@ -1,12 +1,31 @@
-import { javascript } from '@codemirror/lang-javascript'
+import { javascript, esLint } from '@codemirror/lang-javascript'
+import { linter, lintGutter } from '@codemirror/lint'
 import basic from './basic'
 import { EditorPlugin } from './editor'
 
+// Uses linter.mjs
+import * as eslint from 'eslint-linter-browserify'
+
+const config = {
+  // eslint configuration
+  parserOptions: {
+    ecmaVersion: 15,
+    sourceType: 'module'
+  },
+  env: {
+    browser: true,
+    node: true
+  }
+}
+
 const plugin: EditorPlugin = {
   ...basic,
   extensions: [
     ...basic.extensions,
-    javascript()
+    javascript(),
+    lintGutter(),
+    // eslint-disable-next-line
+    linter(esLint(new eslint.Linter(), config)),
   ]
 }