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