master
/ .localenv / lib / python3.5 / site-packages / jupyterlab / schemas / @jupyterlab / shortcuts-extension / plugin.json

plugin.json @master 

08862c9
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
{
  "jupyter.lab.setting-deprecated": true,
  "jupyter.lab.setting-icon-class": "jp-LauncherIcon",
  "jupyter.lab.setting-icon-label": "Keyboard Shortcuts",
  "title": "Keyboard Shortcuts",
  "description": "Keyboard shortcut settings for JupyterLab.",
  "properties": {},
  "oneOf": [{ "$ref": "#/definitions/shortcut" }],
  "type": "object",
  "definitions": {
    "shortcut": {
      "properties": {
        "command": { "type": "string" },
        "keys": {
          "items": { "type": "string" },
          "minItems": 1,
          "type": "array"
        },
        "selector": { "type": "string" }
      },
      "type": "object"
    }
  }
}