jupyterlab/packages/mainmenu-extension/schema/plugin.json

{
  "title": "Main Menu",
  "description": "Main JupyterLab menu settings.",
  "jupyter.lab.menus": {
    "main": [
      {
        "id": "jp-mainmenu-file",
        "label": "File",
        "items": [
          {
            "type": "submenu",
            "submenu": {
              "id": "jp-mainmenu-file-new",
              "label": "New",
              "items": []
            },
            "rank": 0
          },
          {
            "type": "separator",
            "rank": 2
          },
          {
            "command": "filemenu:create-console",
            "rank": 2.1
          },
          {
            "command": "filemenu:close-and-cleanup",
            "rank": 3.1
          },
          {
            "type": "separator",
            "rank": 99
          },
          {
            "command": "filemenu:logout",
            "rank": 99
          },
          {
            "command": "filemenu:shutdown",
            "rank": 99
          }
        ],
        "rank": 1
      },
      {
        "id": "jp-mainmenu-edit",
        "label": "Edit",
        "items": [
          {
            "command": "editmenu:undo",
            "rank": 0
          },
          {
            "command": "editmenu:redo",
            "rank": 0
          },
          {
            "type": "separator",
            "rank": 10
          },
          {
            "command": "editmenu:clear-current",
            "rank": 10
          },
          {
            "command": "editmenu:clear-all",
            "rank": 10
          },
          {
            "type": "separator",
            "rank": 200
          },
          {
            "command": "editmenu:go-to-line",
            "rank": 200
          }
        ],
        "rank": 2
      },
      {
        "id": "jp-mainmenu-view",
        "label": "View",
        "items": [
          {
            "type": "separator",
            "rank": 10
          },
          {
            "command": "viewmenu:line-numbering",
            "rank": 10
          },
          {
            "command": "viewmenu:match-brackets",
            "rank": 10
          },
          {
            "command": "viewmenu:word-wrap",
            "rank": 10
          }
        ],
        "rank": 3
      },
      {
        "id": "jp-mainmenu-run",
        "label": "Run",
        "items": [
          {
            "command": "runmenu:run",
            "rank": 0
          },
          {
            "type": "separator"
          },
          {
            "command": "runmenu:run-all",
            "rank": 999
          },
          {
            "command": "runmenu:restart-and-run-all",
            "rank": 999
          }
        ],
        "rank": 4
      },
      {
        "id": "jp-mainmenu-kernel",
        "label": "Kernel",
        "items": [
          {
            "command": "kernelmenu:interrupt",
            "rank": 0
          },
          {
            "type": "separator",
            "rank": 1
          },
          {
            "command": "kernelmenu:restart",
            "rank": 1
          },
          {
            "command": "kernelmenu:restart-and-clear",
            "rank": 1
          },
          {
            "command": "runmenu:restart-and-run-all",
            "rank": 1.1
          },
          {
            "type": "separator",
            "rank": 1.5
          },
          {
            "command": "kernelmenu:reconnect-to-kernel",
            "rank": 1.5
          },
          {
            "type": "separator",
            "rank": 2
          },
          {
            "command": "kernelmenu:shutdown",
            "rank": 2
          },
          {
            "command": "kernelmenu:shutdownAll",
            "rank": 2
          },
          {
            "type": "separator",
            "rank": 3
          },
          {
            "command": "kernelmenu:change",
            "rank": 3
          }
        ],
        "rank": 5
      },
      {
        "id": "jp-mainmenu-tabs",
        "label": "Tabs",
        "items": [
          {
            "command": "application:activate-next-tab",
            "rank": 0
          },
          {
            "command": "application:activate-previous-tab",
            "rank": 0
          },
          {
            "command": "application:activate-next-tab-bar",
            "rank": 0
          },
          {
            "command": "application:activate-previous-tab-bar",
            "rank": 0
          },
          {
            "command": "tabsmenu:activate-previously-used-tab",
            "rank": 0
          }
        ],
        "rank": 500
      },
      {
        "id": "jp-mainmenu-settings",
        "label": "Settings",
        "items": [
          {
            "command": "settingeditor:open",
            "rank": 1000
          }
        ],
        "rank": 999
      },
      {
        "id": "jp-mainmenu-help",
        "label": "Help",
        "items": [],
        "rank": 1000
      }
    ],
    "context": [
      {
        "command": "filemenu:create-console",
        "selector": "[data-type=\"document-title\"].jp-mod-current",
        "rank": 10
      }
    ]
  },
  "jupyter.lab.shortcuts": [
    {
      "command": "editmenu:clear-all",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:clear-current",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:find",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:find-and-replace",
      "keys": [""],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:redo",
      "keys": ["Accel Shift Z"],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "editmenu:undo",
      "keys": ["Accel Z"],
      "selector": "[data-jp-undoer]"
    },
    {
      "command": "filemenu:close-and-cleanup",
      "keys": ["Ctrl Shift Q"],
      "selector": ".jp-Activity"
    },
    {
      "command": "kernelmenu:interrupt",
      "keys": ["I", "I"],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "kernelmenu:restart",
      "keys": ["0", "0"],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "kernelmenu:restart-and-clear",
      "keys": [""],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "kernelmenu:shutdown",
      "keys": [""],
      "selector": "[data-jp-kernel-user]:focus"
    },
    {
      "command": "runmenu:restart-and-run-all",
      "keys": [""],
      "selector": "[data-jp-code-runner]"
    },
    {
      "command": "runmenu:run",
      "keys": ["Shift Enter"],
      "selector": "[data-jp-code-runner]"
    },
    {
      "command": "runmenu:run-all",
      "keys": [""],
      "selector": "[data-jp-code-runner]"
    },
    {
      "command": "tabsmenu:activate-previously-used-tab",
      "keys": ["Accel Shift '"],
      "selector": "body"
    }
  ],
  "jupyter.lab.transform": true,
  "properties": {
    "menus": {
      "title": "The application menu description.",
      "description": "Note: To disable a menu or a menu item,\ncopy it to User Preferences and add the\n\"disabled\" key. The following example will disable\nthe \"Tabs\" menu and \"Restart Kernel and Run up to Selected Cell\"\nitem:\n{\n  \"menus\": [\n    {\n      \"id\": \"jp-mainmenu-tabs\",\n      \"disabled\": true\n    },\n    {\n      \"id\": \"jp-mainmenu-kernel\",\n      \"items\": [\n        {\n          \"command\": \"notebook:restart-and-run-to-selected\",\n          \"disabled\": true\n        }\n      ]\n    }\n  ]\n}\n\nMenu description:",
      "items": {
        "$ref": "#/definitions/menu"
      },
      "type": "array",
      "default": []
    }
  },
  "additionalProperties": false,
  "definitions": {
    "menu": {
      "properties": {
        "disabled": {
          "description": "Whether the menu is disabled or not",
          "type": "boolean",
          "default": false
        },
        "icon": {
          "description": "Menu icon id",
          "type": "string"
        },
        "id": {
          "description": "Menu unique id",
          "type": "string",
          "pattern": "[a-z][a-z0-9\\-_]+"
        },
        "items": {
          "description": "Menu items",
          "type": "array",
          "items": {
            "$ref": "#/definitions/menuItem"
          }
        },
        "label": {
          "description": "Menu label",
          "type": "string"
        },
        "mnemonic": {
          "description": "Mnemonic index for the label",
          "type": "number",
          "minimum": -1,
          "default": -1
        },
        "rank": {
          "description": "Menu rank",
          "type": "number",
          "minimum": 0
        }
      },
      "required": ["id"],
      "additionalProperties": false,
      "type": "object"
    },
    "menuItem": {
      "properties": {
        "args": {
          "description": "Command arguments",
          "type": "object"
        },
        "command": {
          "description": "Command id",
          "type": "string"
        },
        "disabled": {
          "description": "Whether the item is disabled or not",
          "type": "boolean",
          "default": false
        },
        "type": {
          "description": "Item type",
          "type": "string",
          "enum": ["command", "submenu", "separator"],
          "default": "command"
        },
        "rank": {
          "description": "Item rank",
          "type": "number",
          "minimum": 0
        },
        "submenu": {
          "description": "Submenu definition",
          "oneOf": [
            {
              "$ref": "#/definitions/menu"
            },
            {
              "type": "null"
            }
          ]
        }
      },
      "additionalProperties": false,
      "type": "object"
    }
  },
  "type": "object"
}