From 90bc0d1cfaf65d027f97dc55bb39902e2e2b63cf 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 5c7439e41..bd04382ed 100644 --- 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 index b777b5acd..6c925a13e 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",