# HG changeset patch
# User wenzelm
# Date 1645187171 -3600
# Node ID 7e2401d17bf8c3c78e7a77e775daa8d10c13c794
# Parent  cdc2838f7536d3390a1844b4469ccd8e33f36368
more activationEvents, as proposed by Denis Paluca;

diff -r cdc2838f7536 -r 7e2401d17bf8 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Feb 18 12:22:37 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 18 13:26:11 2022 +0100
@@ -23,9 +23,12 @@
         "Programming Languages"
     ],
     "activationEvents": [
+        "workspaceContains:ROOT",
+        "workspaceContains:ROOTS",
         "onLanguage:isabelle",
         "onLanguage:isabelle-ml",
         "onLanguage:bibtex",
+        "onCommand:isabelle.state",
         "onCommand:isabelle.preview",
         "onCommand:isabelle.preview-split"
     ],