Merge pull request #599 from ejgallego/correct_vscode_bound

[vscode] Require VSCode >= 1.82
ejgallego · Nov 7, 2023 · 4cca2f0 · 4cca2f0
2 parents 341c1e8 + 90bc0d1
commit 4cca2f0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -13,6 +13,9 @@
  - workaround seemingly VSCode activation bug that prevented extension
    activation (@ejgallego @r3m0t, #598, cc #596, reported by Théo
    Zimmerman)
+ - 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",