src/Tools/VSCode/extension/package.json
changeset 65958 6338355b2a88
parent 65914 9584653df458
child 65983 d8c5603c1732
     1.1 --- a/src/Tools/VSCode/extension/package.json	Mon May 29 09:14:15 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Mon May 29 15:16:32 2017 +0200
     1.3 @@ -22,6 +22,12 @@
     1.4      ],
     1.5      "main": "./out/src/extension",
     1.6      "contributes": {
     1.7 +        "commands": [
     1.8 +            {
     1.9 +                "command": "isabelle.preview",
    1.10 +                "title": "Isabelle Document Preview"
    1.11 +            }
    1.12 +        ],
    1.13          "languages": [
    1.14              {
    1.15                  "id": "isabelle",