Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified menu;
authorwenzelm
Thu, 08 Jun 2017 15:12:30 +0200
changeset 66042 98aaeff47795
parent 66041 c49bd8bb4839
child 66043 f704c063e95d
clarified menu; avoid non-portable ALT-mouse combination;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Thu Jun 08 14:27:13 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Thu Jun 08 15:12:30 2017 +0200
@@ -67,8 +67,12 @@
             "editor/title": [
                 {
                     "when": "editorLangId == isabelle",
+                    "command": "isabelle.preview",
+                    "group": "navigation"
+                },
+                {
+                    "when": "editorLangId == isabelle",
                     "command": "isabelle.preview-split",
-                    "alt": "isabelle.preview",
                     "group": "navigation"
                 },
                 {
isabelle