src/Tools/VSCode/extension/package.json
changeset 65985 1be7135917a6
parent 65983 d8c5603c1732
child 65986 d2b2f08533c5
     1.1 --- a/src/Tools/VSCode/extension/package.json	Wed May 31 17:32:01 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Wed May 31 20:13:05 2017 +0200
     1.3 @@ -20,62 +20,62 @@
     1.4          "onLanguage:isabelle",
     1.5          "onLanguage:isabelle-ml",
     1.6          "onCommand:isabelle.preview",
     1.7 -        "onCommand:isabelle.preview-side",
     1.8 +        "onCommand:isabelle.preview-split",
     1.9          "onCommand:isabelle.preview-source"
    1.10      ],
    1.11      "main": "./out/src/extension",
    1.12      "contributes": {
    1.13          "commands": [
    1.14              {
    1.15 -				"command": "isabelle.preview",
    1.16 -				"title": "Open Preview",
    1.17 -				"category": "Isabelle",
    1.18 -				"icon": {
    1.19 -					"light": "./media/Preview.svg",
    1.20 -					"dark": "./media/Preview_inverse.svg"
    1.21 -				}
    1.22 -			},
    1.23 -			{
    1.24 -				"command": "isabelle.preview-side",
    1.25 -				"title": "Open Preview to the Side",
    1.26 -				"category": "Isabelle",
    1.27 -				"icon": {
    1.28 -					"light": "./media/PreviewOnRightPane_16x.svg",
    1.29 -					"dark": "./media/PreviewOnRightPane_16x_dark.svg"
    1.30 -				}
    1.31 -			},
    1.32 -   			{
    1.33 -				"command": "isabelle.preview-source",
    1.34 -				"title": "Show Source",
    1.35 -				"category": "Isabelle",
    1.36 -				"icon": {
    1.37 -					"light": "./media/ViewSource.svg",
    1.38 -					"dark": "./media/ViewSource_inverse.svg"
    1.39 -			    }
    1.40 +                "command": "isabelle.preview",
    1.41 +                "title": "Open Preview",
    1.42 +                "category": "Isabelle",
    1.43 +                "icon": {
    1.44 +                    "light": "./media/Preview.svg",
    1.45 +                    "dark": "./media/Preview_inverse.svg"
    1.46 +                }
    1.47 +            },
    1.48 +            {
    1.49 +                "command": "isabelle.preview-split",
    1.50 +                "title": "Open Preview (Split Editor)",
    1.51 +                "category": "Isabelle",
    1.52 +                "icon": {
    1.53 +                    "light": "./media/PreviewOnRightPane_16x.svg",
    1.54 +                    "dark": "./media/PreviewOnRightPane_16x_dark.svg"
    1.55 +                }
    1.56 +            },
    1.57 +            {
    1.58 +                "command": "isabelle.preview-source",
    1.59 +                "title": "Show Source",
    1.60 +                "category": "Isabelle",
    1.61 +                "icon": {
    1.62 +                    "light": "./media/ViewSource.svg",
    1.63 +                    "dark": "./media/ViewSource_inverse.svg"
    1.64 +                }
    1.65              }
    1.66          ],
    1.67          "menus": {
    1.68 -			"editor/title": [
    1.69 -				{
    1.70 -					"when": "editorLangId == isabelle",
    1.71 -					"command": "isabelle.preview-side",
    1.72 -					"alt": "isabelle.preview",
    1.73 -					"group": "navigation"
    1.74 -				},
    1.75 -				{
    1.76 -					"when": "resourceScheme == isabelle-preview",
    1.77 -					"command": "isabelle.preview-source",
    1.78 -					"group": "navigation"
    1.79 -				}
    1.80 -			],
    1.81 -			"explorer/context": [
    1.82 -				{
    1.83 -					"when": "resourceLangId == isabelle",
    1.84 -					"command": "isabelle.preview",
    1.85 -					"group": "navigation"
    1.86 -				}
    1.87 -			]
    1.88 -		},
    1.89 +            "editor/title": [
    1.90 +                {
    1.91 +                    "when": "editorLangId == isabelle",
    1.92 +                    "command": "isabelle.preview-split",
    1.93 +                    "alt": "isabelle.preview",
    1.94 +                    "group": "navigation"
    1.95 +                },
    1.96 +                {
    1.97 +                    "when": "resourceScheme == isabelle-preview",
    1.98 +                    "command": "isabelle.preview-source",
    1.99 +                    "group": "navigation"
   1.100 +                }
   1.101 +            ],
   1.102 +            "explorer/context": [
   1.103 +                {
   1.104 +                    "when": "resourceLangId == isabelle",
   1.105 +                    "command": "isabelle.preview",
   1.106 +                    "group": "navigation"
   1.107 +                }
   1.108 +            ]
   1.109 +        },
   1.110          "languages": [
   1.111              {
   1.112                  "id": "isabelle",