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
{ "title": "Setting Editor", "description": "Setting editor settings.", "jupyter.lab.shortcuts": [ { "command": "settingeditor:debug", "keys": ["Accel I"], "selector": ".jp-SettingEditor" }, { "command": "settingeditor:open", "keys": ["Accel ,"], "selector": "body" }, { "command": "settingeditor:save", "keys": ["Accel S"], "selector": ".jp-SettingEditor" } ], "properties": {}, "additionalProperties": false, "type": "object" }