08862c9
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
{ "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" }