From 04f5ff2d697923b6dc03981ab8c2d8179d824050 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Tue, 7 Nov 2023 21:17:52 +0100 Subject: [PATCH] [vscode] Require VSCode >= 1.82 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This is required by our use of `vscode-languageclient` 9. Thanks to Théo Zimmerman for the report. --- CHANGES.md | 3 +++ editor/code/package.json | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) 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",