From a4a3aed13af0808d3b4afa692d333c7145d86f6e 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 7822040be..ccfcea577 100644 --- 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 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",