{ "jupyter.lab.setting-icon": "ui-components:keyboard", "jupyter.lab.setting-icon-label": "Keyboard Shortcuts", "jupyter.lab.transform": true, "title": "Keyboard Shortcuts", "description": "Keyboard shortcut settings.", "jupyter.lab.menus": { "context": [ { "command": "shortcuts:edit-keybinding", "selector": ".jp-Shortcuts-ShortcutKeysContainer", "rank": 0 }, { "command": "shortcuts:delete-keybinding", "selector": ".jp-Shortcuts-ShortcutKeysContainer", "rank": 1 }, { "command": "shortcuts:add-keybinding", "selector": ".jp-Shortcuts-Row", "rank": 2 }, { "command": "shortcuts:toggle-selectors", "selector": ".jp-Shortcuts-Top", "rank": 3 }, { "command": "shortcuts:reset-all", "selector": ".jp-Shortcuts-Top", "rank": 4 } ] }, "type": "object", "additionalProperties": false, "properties": { "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" }, "type": "array" }, "winKeys": { "items": { "type": "string" }, "type": "array" }, "macKeys": { "items": { "type": "string" }, "type": "array" }, "linuxKeys": { "items": { "type": "string" }, "type": "array" }, "selector": { "type": "string" }, "preventDefault": { "type": "boolean" } }, "required": ["command", "keys", "selector"], "type": "object" } } }