diff --git a/CHANGES.md b/CHANGES.md index 64fd531e..5c7439e4 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) + - workaround seemingly VSCode activation bug that prevented extension + activation (@ejgallego @r3m0t, #598, cc #596, reported by Théo + Zimmerman) # coq-lsp 0.1.8: Trick-or-treat ------------------------------- diff --git a/editor/code/package.json b/editor/code/package.json index f1305d19..b777b5ac 100644 --- a/editor/code/package.json +++ b/editor/code/package.json @@ -28,6 +28,9 @@ "type": "git", "url": "https://github.com/ejgallego/coq-lsp" }, + "activationEvents": [ + "onLanguage:markdown" + ], "contributes": { "languages": [ {