{
"title": "Console",
"description": "Console settings.",
"jupyter.lab.shortcuts": [
{
"command": "console:linebreak",
"keys": ["Enter"],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='notebook'] .jp-CodeConsole-promptCell"
},
{
"command": "console:run-forced",
"keys": ["Shift Enter"],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='notebook'] .jp-CodeConsole-promptCell"
},
{
"command": "console:linebreak",
"keys": ["Ctrl Enter"],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell"
},
{
"command": "console:run-forced",
"keys": ["Shift Enter"],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell"
},
{
"command": "console:run-unforced",
"keys": ["Enter"],
"selector": ".jp-CodeConsole[data-jp-interaction-mode='terminal'] .jp-CodeConsole-promptCell"
}
],
"properties": {
"interactionMode": {
"title": "Interaction mode",
"description": "Whether the console interaction mimics the notebook\nor terminal keyboard shortcuts.",
"type": "string",
"enum": ["notebook", "terminal"],
"default": "notebook"
}
},
"additionalProperties": false,
"type": "object"
}