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