--- a/src/Tools/VSCode/extension/package.json Wed May 31 20:13:05 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json Wed May 31 20:33:26 2017 +0200
@@ -36,6 +36,15 @@
}
},
{
+ "command": "isabelle.preview-update",
+ "title": "Update Preview",
+ "category": "Isabelle",
+ "icon": {
+ "light": "./media/Preview.svg",
+ "dark": "./media/Preview_inverse.svg"
+ }
+ },
+ {
"command": "isabelle.preview-split",
"title": "Open Preview (Split Editor)",
"category": "Isabelle",
@@ -64,6 +73,11 @@
},
{
"when": "resourceScheme == isabelle-preview",
+ "command": "isabelle.preview-update",
+ "group": "navigation"
+ },
+ {
+ "when": "resourceScheme == isabelle-preview",
"command": "isabelle.preview-source",
"group": "navigation"
}