Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more activationEvents, as proposed by Denis Paluca;
authorwenzelm
Fri, 18 Feb 2022 13:26:11 +0100
changeset 75093 7e2401d17bf8
parent 75092 cdc2838f7536
child 75094 81a858c3cb5b
more activationEvents, as proposed by Denis Paluca;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- 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"
     ],
isabelle