src/Tools/VSCode/extension/package.json
changeset 67260 ecd607631bc7
parent 67254 31dd98471e88
child 67322 734a4e44b159
     1.1 --- a/src/Tools/VSCode/extension/package.json	Fri Dec 22 16:26:14 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Dec 22 17:19:53 2017 +0100
     1.3 @@ -25,6 +25,7 @@
     1.4      "activationEvents": [
     1.5          "onLanguage:isabelle",
     1.6          "onLanguage:isabelle-ml",
     1.7 +        "onLanguage:bibtex",
     1.8          "onCommand:isabelle.preview",
     1.9          "onCommand:isabelle.preview-split",
    1.10          "onCommand:isabelle.preview-source"
    1.11 @@ -107,11 +108,31 @@
    1.12                      "group": "navigation"
    1.13                  },
    1.14                  {
    1.15 +                    "when": "editorLangId == isabelle-ml",
    1.16 +                    "command": "isabelle.preview",
    1.17 +                    "group": "navigation"
    1.18 +                },
    1.19 +                {
    1.20 +                    "when": "editorLangId == bibtex",
    1.21 +                    "command": "isabelle.preview",
    1.22 +                    "group": "navigation"
    1.23 +                },
    1.24 +                {
    1.25                      "when": "editorLangId == isabelle",
    1.26                      "command": "isabelle.preview-split",
    1.27                      "group": "navigation"
    1.28                  },
    1.29                  {
    1.30 +                    "when": "editorLangId == isabelle-ml",
    1.31 +                    "command": "isabelle.preview-split",
    1.32 +                    "group": "navigation"
    1.33 +                },
    1.34 +                {
    1.35 +                    "when": "editorLangId == bibtex",
    1.36 +                    "command": "isabelle.preview-split",
    1.37 +                    "group": "navigation"
    1.38 +                },
    1.39 +                {
    1.40                      "when": "resourceScheme == isabelle-preview",
    1.41                      "command": "isabelle.preview-update",
    1.42                      "group": "navigation"
    1.43 @@ -127,6 +148,16 @@
    1.44                      "when": "resourceLangId == isabelle",
    1.45                      "command": "isabelle.preview",
    1.46                      "group": "navigation"
    1.47 +                },
    1.48 +                {
    1.49 +                    "when": "resourceLangId == isabelle-ml",
    1.50 +                    "command": "isabelle.preview",
    1.51 +                    "group": "navigation"
    1.52 +                },
    1.53 +                {
    1.54 +                    "when": "resourceLangId == bibtex",
    1.55 +                    "command": "isabelle.preview",
    1.56 +                    "group": "navigation"
    1.57                  }
    1.58              ]
    1.59          },