From 2af04e0b87058ccb9e78ac0f27632b7f0e975012 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Tue, 7 Nov 2023 21:10:28 +0100
Subject: [PATCH] [vscode] Workaround broken activation for `.mv` files
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Suggested by Tomer Chachamu (thanks!) in
https://github.com/microsoft/vscode-discussions/discussions/901

Should fix issue #596 , however I'm not marking this as closed, as
this workaround could actually be due to a VSCode bug.

Thanks to Théo Zimmerman for the report.
---
 CHANGES.md               | 3 +++
 editor/code/package.json | 3 +++
 2 files changed, 6 insertions(+)

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": [
       {