浏览代码

Merge pull request #2966 from ian-r-rose/fix-launcher-creation-command

Fix name of command for creating a new launcher.
Steven Silvester 7 年之前
父节点
当前提交
f9e1647543
共有 1 个文件被更改,包括 6 次插入6 次删除
  1. 6 6
      packages/shortcuts-extension/schema/jupyter.extensions.shortcuts.json

+ 6 - 6
packages/shortcuts-extension/schema/jupyter.extensions.shortcuts.json

@@ -94,20 +94,20 @@
       },
       "type": "object"
     },
-    "docmanager:create-launcher": {
+    "docmanager:save": {
       "default": { },
       "properties": {
-        "command": { "default": "docmanager:create-launcher" },
-        "keys": { "default": ["Accel Shift L"] },
+        "command": { "default": "docmanager:save" },
+        "keys": { "default": ["Accel S"] },
         "selector": { "default": "body" }
       },
       "type": "object"
     },
-    "docmanager:save": {
+    "filebrowser:create-main-launcher": {
       "default": { },
       "properties": {
-        "command": { "default": "docmanager:save" },
-        "keys": { "default": ["Accel S"] },
+        "command": { "default": "filebrowser:create-main-launcher" },
+        "keys": { "default": ["Accel Shift L"] },
         "selector": { "default": "body" }
       },
       "type": "object"