Merge pull request #356 from hwayne/clean-activationevents

Remove unnecessary activation events
tlaplus · Dec 20, 2024 · 3731be5 · 3731be5
2 parents c077132 + d06a3f7
commit 3731be5
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/package.json b/package.json
@@ -35,14 +35,6 @@
         "Modeling"
     ],
     "activationEvents": [
-        "onLanguage:tlaplus",
-        "onCommand:tlaplus.parse",
-        "onCommand:tlaplus.model.check.run",
-        "onCommand:tlaplus.model.check.customRun",
-        "onCommand:tlaplus.exportToTex",
-        "onCommand:tlaplus.exportToPdf",
-        "onCommand:tlaplus.evaluateSelection",
-        "onCommand:tlaplus.evaluateExpression",
         "workspaceContains:**/*.tla"
     ],
     "main": "./out/main.js",