{
  "title": "Console Tooltips",
  "description": "Console tooltip settings.",
  "jupyter.lab.shortcuts": [
    {
      "command": "tooltip:dismiss",
      "keys": ["Escape"],
      "selector": "body.jp-mod-tooltip .jp-CodeConsole-promptCell"
    },
    {
      "command": "tooltip:launch-console",
      "keys": ["Shift Tab"],
      "selector": ".jp-CodeConsole-promptCell .jp-InputArea-editor:not(.jp-mod-has-primary-selection):not(.jp-mod-in-leading-whitespace)"
    }
  ],
  "properties": {},
  "additionalProperties": false,
  "type": "object"
}
