Browse Source

Move filebrowser shortcuts.

Afshin Darian 6 years ago
parent
commit
6622e05977

+ 2 - 1
packages/filebrowser-extension/package.json

@@ -52,6 +52,7 @@
     "access": "public"
   },
   "jupyterlab": {
-    "extension": true
+    "extension": true,
+    "schemaDir": "schema"
   }
 }

+ 23 - 0
packages/filebrowser-extension/schema/browser.json

@@ -0,0 +1,23 @@
+{
+  "title": "File Browser",
+  "description": "File browser settings.",
+  "jupyter.lab.shortcuts": [
+    {
+      "command": "filebrowser:create-main-launcher",
+      "keys": ["Accel Shift L"],
+      "selector": "body",
+      "title": "New Launcher",
+      "category": "File Operations"
+    },
+    {
+      "command": "filebrowser:toggle-main",
+      "keys": ["Accel Shift F"],
+      "selector": "body",
+      "title": "Toggle Filebrowser",
+      "category": "File Operations"
+    }
+  ],
+  "properties": {},
+  "additionalProperties": false,
+  "type": "object"
+}

+ 0 - 22
packages/shortcuts-extension/schema/plugin.json

@@ -4,28 +4,6 @@
   "title": "Keyboard Shortcuts",
   "description": "Keyboard shortcut settings for JupyterLab.",
   "properties": {
-    "filebrowser:create-main-launcher": {
-      "default": {},
-      "properties": {
-        "command": { "default": "filebrowser:create-main-launcher" },
-        "keys": { "default": ["Accel Shift L"] },
-        "selector": { "default": "body" },
-        "title": { "default": "New Launcher" },
-        "category": { "default": "File Operations" }
-      },
-      "type": "object"
-    },
-    "filebrowser:toggle-main": {
-      "default": {},
-      "properties": {
-        "command": { "default": "filebrowser:toggle-main" },
-        "keys": { "default": ["Accel Shift F"] },
-        "selector": { "default": "body" },
-        "title": { "default": "Toggle Filebrowser" },
-        "category": { "default": "File Operations" }
-      },
-      "type": "object"
-    },
     "help:toggle": {
       "default": {},
       "properties": {