dont activate just because coq files present

coq · Feb 7, 2025 · 1bde7c1 · 1bde7c1
1 parent cfcb7e4
commit 1bde7c1
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/client/package.json b/client/package.json
@@ -29,10 +29,7 @@
   "readme": "https://github.com/coq-community/vscoq/blob/master/README.md",
   "bugs": "https://github.com/coq-community/vscoq/issues",
   "homepage": "https://github.com/coq-community/vscoq/blob/master/README.md",
-  "activationEvents": [
-    "workspaceContains:**/_CoqProject",
-    "workspaceContains:**/*.v"
-  ],
+  "activationEvents": [],
   "main": "./dist/extension.js",
   "contributes": {
     "languages": [