diff --git a/CHANGES.md b/CHANGES.md index 64fd531ec..bd30ac85f 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -10,6 +10,9 @@ - fix hover position computation on the presence of Utf characters (@ejgallego, #597, thanks to Pierre Courtieu for the report and example, closes #594) + - 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 index f1305d190..b213ca538 100644 --- 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",