Move more mainmenu shortcuts.

packages/mainmenu-extension/schema/plugin.json

@@ -2,6 +2,27 @@
   "title": "Main Menu ",
   "description": "Main JupyterLab menu settings.",
   "jupyter.lab.keyboard-shortcuts": [
+    {
+      "command": "runmenu:run",
+      "keys": ["Shift Enter"],
+      "selector": "[data-jp-code-runner]",
+      "title": "Run",
+      "category": "Run Menu"
+    },
+    {
+      "command": "runmenu:run-all",
+      "keys": [""],
+      "selector": "[data-jp-code-runner]",
+      "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/mainmenu-extension/src/index.ts

@@ -89,7 +89,7 @@ export namespace CommandIDs {
 /**
  * A service providing an interface to the main menu.
  */
-const menuPlugin: JupyterLabPlugin<IMainMenu> = {
+const plugin: JupyterLabPlugin<IMainMenu> = {
   id: '@jupyterlab/mainmenu-extension:plugin',
   requires: [ICommandPalette],
   provides: IMainMenu,
@@ -559,6 +559,9 @@ export function createViewMenu(app: JupyterLab, menu: ViewMenu): void {
   );
 }
 
+/**
+ * Create the basic `Run` menu.
+ */
 export function createRunMenu(app: JupyterLab, menu: RunMenu): void {
   const commands = menu.menu.commands;
 
@@ -614,10 +617,16 @@ export function createRunMenu(app: JupyterLab, menu: RunMenu): void {
   menu.addGroup(runAllGroup, 999);
 }
 
+/**
+ * Create the basic `Settings` menu.
+ */
 export function createSettingsMenu(app: JupyterLab, menu: SettingsMenu): void {
   menu.addGroup([{ command: 'settingeditor:open' }], 1000);
 }
 
+/**
+ * Create the basic `Tabs` menu.
+ */
 export function createTabsMenu(app: JupyterLab, menu: TabsMenu): void {
   const commands = app.commands;
 
@@ -700,7 +709,7 @@ export function createTabsMenu(app: JupyterLab, menu: TabsMenu): void {
   });
 }
 
-export default menuPlugin;
+export default plugin;
 
 /**
  * A namespace for Private data.

packages/shortcuts-extension/schema/plugin.json

@@ -322,39 +322,6 @@
         "category": { "default": "Main Area" }
       },
       "type": "object"
-    },
-    "runmenu:run": {
-      "default": {},
-      "properties": {
-        "command": { "default": "runmenu:run" },
-        "keys": { "default": ["Shift Enter"] },
-        "selector": { "default": "[data-jp-code-runner]" },
-        "title": { "default": "Run" },
-        "category": { "default": "Run Menu" }
-      },
-      "type": "object"
-    },
-    "runmenu:run-all": {
-      "default": {},
-      "properties": {
-        "command": { "default": "runmenu:run-all" },
-        "keys": { "default": [""] },
-        "selector": { "default": "[data-jp-code-runner]" },
-        "title": { "default": "Run All" },
-        "category": { "default": "Run Menu" }
-      },
-      "type": "object"
-    },
-    "runmenu:restart-and-run-all": {
-      "default": {},
-      "properties": {
-        "command": { "default": "runmenu:restart-and-run-all" },
-        "keys": { "default": [""] },
-        "selector": { "default": "[data-jp-code-runner]" },
-        "title": { "default": "Restart Kernel and Run All" },
-        "category": { "default": "Run Menu" }
-      },
-      "type": "object"
     }
   },
   "oneOf": [{ "$ref": "#/definitions/shortcut" }],