Browse Source

Update command palette shortcut and command ids

Steven Silvester 7 years ago
parent
commit
c9f8b7d829

+ 3 - 3
packages/apputils-extension/src/palette.ts

@@ -26,13 +26,13 @@ import {
  */
 namespace CommandIDs {
   export
-  const activate = 'command-palette:activate';
+  const activate = 'apputils:activate-command-palette';
 
   export
-  const hide = 'command-palette:hide';
+  const hide = 'apputils:hide-command-palette';
 
   export
-  const toggle = 'command-palette:toggle';
+  const toggle = 'apputils:toggle-command-palette';
 };
 
 

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

@@ -31,10 +31,10 @@
       },
       "type": "object"
     },
-    "command-palette:activate": {
+    "command-palette:toggle": {
       "default": { },
       "properties": {
-        "command": { "default": "command-palette:activate" },
+        "command": { "default": "apputils:toggle-command-palette" },
         "keys": { "default": ["Accel Shift C"] },
         "selector": { "default": "body" }
       },