master
/ .localenv / share / jupyter / lab / schemas / @jupyterlab / shortcuts-extension / shortcuts.json

shortcuts.json @master — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
{
  "jupyter.lab.setting-icon-class": "jp-LauncherIcon",
  "jupyter.lab.setting-icon-label": "Keyboard Shortcuts",
  "jupyter.lab.transform": true,
  "title": "Keyboard Shortcuts",
  "description": "Keyboard shortcut settings for JupyterLab.",
  "type": "object",
  "additionalProperties": false,
  "properties": {
    "shortcuts": {
      "title": "Keyboard Shortcuts",
      "description": "The list of keyboard shortcuts.",
      "items": { "$ref": "#/definitions/shortcut" },
      "type": "array",
      "default": []
    }
  },
  "definitions": {
    "shortcut": {
      "properties": {
        "args": { "type": "object" },
        "command": { "type": "string" },
        "keys": {
          "items": { "type": "string" },
          "minItems": 1,
          "type": "array"
        },
        "selector": { "type": "string" }
      },
      "required": ["command", "keys", "selector"],
      "type": "object"
    }
  }
}