Merge pull request #565 from ejgallego/update_vscode_client

[client] Update vscode client and misc js packages

CHANGES.md

@@ -26,6 +26,8 @@
    people to build their own more refined notation feedback systems
    (@ejgallego, #562)
  - Hover request can now be extended by plugins (@ejgallego, #562)
+ - Updated LSP and JS client libs, notably to vscode-languageclient 9
+   (@ejgallego, #565)
 
 # coq-lsp 0.1.7: Just-in-time
 -----------------------------

editor/code/package.json

@@ -277,27 +277,27 @@
     ]
   },
   "devDependencies": {
-    "@types/jquery": "^3.5.16",
-    "@types/node": "^18.11.9",
-    "@types/object-hash": "^3.0.2",
-    "@types/react": "^18.0.27",
-    "@types/react-dom": "^18.0.10",
+    "@types/jquery": "^3.5.20",
+    "@types/node": "^18.18.1",
+    "@types/object-hash": "^3.0.4",
+    "@types/react": "^18.2.24",
+    "@types/react-dom": "^18.2.8",
     "@types/throttle-debounce": "^5.0.0",
-    "@types/vscode": "^1.73.0",
-    "@types/vscode-webview": "^1.57.1",
+    "@types/vscode": "^1.75.0",
+    "@types/vscode-webview": "^1.57.2",
     "esbuild": "^0.16.17",
-    "prettier": "^3.0.0",
-    "typescript": "^5.1.6"
+    "prettier": "^3.0.3",
+    "typescript": "^5.2.2"
   },
   "dependencies": {
-    "@vscode/webview-ui-toolkit": "^1.2.1",
-    "jquery": "^3.7.0",
+    "@vscode/webview-ui-toolkit": "^1.2.2",
+    "jquery": "^3.7.1",
     "object-hash": "^3.0.0",
     "react": "^18.2.0",
     "react-dom": "^18.2.0",
     "throttle-debounce": "^5.0.0",
-    "vscode-languageclient": "^8.1.0",
-    "vscode-languageserver-types": "^3.17.3"
+    "vscode-languageclient": "^9.0.1",
+    "vscode-languageserver-types": "^3.17.5"
   },
   "main": "./out/src/node.js",
   "browser": "/out/src/browser.js",

editor/code/views/info/tsconfig.json

@@ -3,7 +3,7 @@
   "compilerOptions": {
     "module": "CommonJS",
     "target": "ESNext",
-    "moduleResolution": "NodeNext",
+    // "moduleResolution": "NodeNext",
     "esModuleInterop": true,
     "jsx": "react-jsx"
   },