Move edit menu shortcuts.

packages/mainmenu-extension/schema/plugin.json

@@ -2,6 +2,48 @@
   "title": "Main Menu",
   "description": "Main JupyterLab menu settings.",
   "jupyter.lab.keyboard-shortcuts": [
+    {
+      "command": "editmenu:clear-all",
+      "keys": [""],
+      "selector": "[data-jp-undoer]",
+      "title": "Clear All",
+      "category": "Editing"
+    },
+    {
+      "command": "editmenu:clear-current",
+      "keys": [""],
+      "selector": "[data-jp-undoer]",
+      "title": "Clear",
+      "category": "Editing"
+    },
+    {
+      "command": "editmenu:find",
+      "keys": [""],
+      "selector": "[data-jp-undoer]",
+      "title": "Find",
+      "category": "Editing"
+    },
+    {
+      "command": "editmenu:find-and-replace",
+      "keys": [""],
+      "selector": "[data-jp-undoer]",
+      "title": "Find and Replace",
+      "category": "Editing"
+    },
+    {
+      "command": "editmenu:redo",
+      "keys": ["Ctrl Shift Z"],
+      "selector": "[data-jp-undoer]",
+      "title": "Redo",
+      "category": "Editing"
+    },
+    {
+      "command": "editmenu:undo",
+      "keys": ["Ctrl Z"],
+      "selector": "[data-jp-undoer]",
+      "title": "Undo",
+      "category": "Editing"
+    },
     {
       "command": "filemenu:close-and-cleanup",
       "keys": ["Ctrl Shift Q"],
@@ -37,6 +79,13 @@
       "title": "Shutdown Kernel",
       "category": "Kernel Operations"
     },
+    {
+      "command": "runmenu:restart-and-run-all",
+      "keys": [""],
+      "selector": "[data-jp-code-runner]",
+      "title": "Restart Kernel and Run All",
+      "category": "Run Menu"
+    },
     {
       "command": "runmenu:run",
       "keys": ["Shift Enter"],
@@ -51,13 +100,6 @@
       "title": "Run All",
       "category": "Run Menu"
     },
-    {
-      "command": "runmenu:restart-and-run-all",
-      "keys": [""],
-      "selector": "[data-jp-code-runner]",
-      "title": "Restart Kernel and Run All",
-      "category": "Run Menu"
-    },
     {
       "command": "tabmenu:activate-previously-used-tab",
       "keys": ["Accel Shift '"],

packages/shortcuts-extension/schema/plugin.json

@@ -37,72 +37,6 @@
       },
       "type": "object"
     },
-    "editmenu:undo": {
-      "default": {},
-      "properties": {
-        "command": { "default": "editmenu:undo" },
-        "keys": { "default": ["Ctrl Z"] },
-        "selector": { "default": "[data-jp-undoer]" },
-        "title": { "default": "Undo" },
-        "category": { "default": "Editing" }
-      },
-      "type": "object"
-    },
-    "editmenu:redo": {
-      "default": {},
-      "properties": {
-        "command": { "default": "editmenu:redo" },
-        "keys": { "default": ["Ctrl Shift Z"] },
-        "selector": { "default": "[data-jp-undoer]" },
-        "title": { "default": "Redo" },
-        "category": { "default": "Editing" }
-      },
-      "type": "object"
-    },
-    "editmenu:clear-current": {
-      "default": {},
-      "properties": {
-        "command": { "default": "editmenu:clear-current" },
-        "keys": { "default": [""] },
-        "selector": { "default": "[data-jp-undoer]" },
-        "title": { "default": "Clear" },
-        "category": { "default": "Editing" }
-      },
-      "type": "object"
-    },
-    "editmenu:clear-all": {
-      "default": {},
-      "properties": {
-        "command": { "default": "editmenu:clear-all" },
-        "keys": { "default": [""] },
-        "selector": { "default": "[data-jp-undoer]" },
-        "title": { "default": "Clear All" },
-        "category": { "default": "Editing" }
-      },
-      "type": "object"
-    },
-    "editmenu:find": {
-      "default": {},
-      "properties": {
-        "command": { "default": "editmenu:find" },
-        "keys": { "default": [""] },
-        "selector": { "default": "[data-jp-undoer]" },
-        "title": { "default": "Find" },
-        "category": { "default": "Editing" }
-      },
-      "type": "object"
-    },
-    "editmenu:find-and-replace": {
-      "default": {},
-      "properties": {
-        "command": { "default": "editmenu:find-and-replace" },
-        "keys": { "default": [""] },
-        "selector": { "default": "[data-jp-undoer]" },
-        "title": { "default": "Find and Replace" },
-        "category": { "default": "Editing" }
-      },
-      "type": "object"
-    },
     "filebrowser:create-main-launcher": {
       "default": {},
       "properties": {