master
/ .localenv / lib / python3.5 / site-packages / jupyterlab / schemas / @jupyterlab / console-extension / tracker.json

tracker.json @master

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