[vscode] Require VSCode >= 1.82

This is required by our use of `vscode-languageclient` 9. Thanks to Théo Zimmerman for the report.
ejgallego · Nov 7, 2023 · a4a3aed · a4a3aed
1 parent 53e12d3
commit a4a3aed
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -7,6 +7,9 @@
    mistake (@ejgallego, #588)
  - hover plugins can now access the full document, this is convenient
    for many use cases (@ejgallego, #591)
+ - require VSCode >= 1.82 in package.json . Our VSCode extension uses
+   `vscode-languageclient` 9 which imposes this. (@ejgallego, #599,
+   thanks to Théo Zimmerman for the report)
 
 # coq-lsp 0.1.8: Trick-or-treat
 -------------------------------

diff --git a/editor/code/package.json b/editor/code/package.json
@@ -11,7 +11,7 @@
   ],
   "publisher": "ejgallego",
   "engines": {
-    "vscode": "^1.75.0"
+    "vscode": "^1.82.0"
   },
   "categories": [
     "Programming Languages",