--- a/src/Tools/VSCode/extension/package.json Fri Dec 22 16:26:14 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json Fri Dec 22 17:19:53 2017 +0100
@@ -25,6 +25,7 @@
"activationEvents": [
"onLanguage:isabelle",
"onLanguage:isabelle-ml",
+ "onLanguage:bibtex",
"onCommand:isabelle.preview",
"onCommand:isabelle.preview-split",
"onCommand:isabelle.preview-source"
@@ -107,11 +108,31 @@
"group": "navigation"
},
{
+ "when": "editorLangId == isabelle-ml",
+ "command": "isabelle.preview",
+ "group": "navigation"
+ },
+ {
+ "when": "editorLangId == bibtex",
+ "command": "isabelle.preview",
+ "group": "navigation"
+ },
+ {
"when": "editorLangId == isabelle",
"command": "isabelle.preview-split",
"group": "navigation"
},
{
+ "when": "editorLangId == isabelle-ml",
+ "command": "isabelle.preview-split",
+ "group": "navigation"
+ },
+ {
+ "when": "editorLangId == bibtex",
+ "command": "isabelle.preview-split",
+ "group": "navigation"
+ },
+ {
"when": "resourceScheme == isabelle-preview",
"command": "isabelle.preview-update",
"group": "navigation"
@@ -127,6 +148,16 @@
"when": "resourceLangId == isabelle",
"command": "isabelle.preview",
"group": "navigation"
+ },
+ {
+ "when": "resourceLangId == isabelle-ml",
+ "command": "isabelle.preview",
+ "group": "navigation"
+ },
+ {
+ "when": "resourceLangId == bibtex",
+ "command": "isabelle.preview",
+ "group": "navigation"
}
]
},