# HG changeset patch
# User wenzelm
# Date 1646054679 -3600
# Node ID b61dc9070344d9c7537a0b7eecd50c7cc020ba26
# Parent  0a300751fdf564ef0a2ac9153127ad0253d2f048
more aggressive activation;

diff -r 0a300751fdf5 -r b61dc9070344 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Mon Feb 28 13:10:22 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Feb 28 14:24:39 2022 +0100
@@ -23,14 +23,7 @@
         "Programming Languages"
     ],
     "activationEvents": [
-        "workspaceContains:ROOT",
-        "workspaceContains:ROOTS",
-        "onLanguage:isabelle",
-        "onLanguage:isabelle-ml",
-        "onLanguage:bibtex",
-        "onCommand:isabelle.state",
-        "onCommand:isabelle.preview",
-        "onCommand:isabelle.preview-split"
+        "onStartupFinished"
     ],
     "main": "./out/src/extension",
     "contributes": {