src/Tools/VSCode/extension/package.json
changeset 65986 d2b2f08533c5
parent 65985 1be7135917a6
child 66002 c85f677cfb0a
     1.1 --- a/src/Tools/VSCode/extension/package.json	Wed May 31 20:13:05 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Wed May 31 20:33:26 2017 +0200
     1.3 @@ -36,6 +36,15 @@
     1.4                  }
     1.5              },
     1.6              {
     1.7 +                "command": "isabelle.preview-update",
     1.8 +                "title": "Update Preview",
     1.9 +                "category": "Isabelle",
    1.10 +                "icon": {
    1.11 +                    "light": "./media/Preview.svg",
    1.12 +                    "dark": "./media/Preview_inverse.svg"
    1.13 +                }
    1.14 +            },
    1.15 +            {
    1.16                  "command": "isabelle.preview-split",
    1.17                  "title": "Open Preview (Split Editor)",
    1.18                  "category": "Isabelle",
    1.19 @@ -64,6 +73,11 @@
    1.20                  },
    1.21                  {
    1.22                      "when": "resourceScheme == isabelle-preview",
    1.23 +                    "command": "isabelle.preview-update",
    1.24 +                    "group": "navigation"
    1.25 +                },
    1.26 +                {
    1.27 +                    "when": "resourceScheme == isabelle-preview",
    1.28                      "command": "isabelle.preview-source",
    1.29                      "group": "navigation"
    1.30                  }