{
"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"
}
}
}