styleenv/share/jupyter/lab/schemas/@jupyterlab/apputils-extension/palette.json

{
  "title": "Command Palette",
  "description": "Command palette settings.",
  "jupyter.lab.setting-icon": "ui-components:palette",
  "jupyter.lab.setting-icon-label": "Command Palette",
  "jupyter.lab.menus": {
    "main": [
      {
        "id": "jp-mainmenu-view",
        "items": [
          {
            "command": "apputils:activate-command-palette",
            "rank": 0
          },
          {
            "type": "separator",
            "rank": 0
          }
        ]
      }
    ]
  },
  "jupyter.lab.shortcuts": [
    {
      "command": "apputils:activate-command-palette",
      "keys": ["Accel Shift C"],
      "selector": "body"
    }
  ],
  "properties": {
    "modal": {
      "title": "Modal Command Palette",
      "description": "Whether the command palette should be modal or in the left panel.",
      "type": "boolean",
      "default": true
    }
  },
  "type": "object",
  "additionalProperties": false
}