File size: 402 Bytes
d1ceb73 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
{
"title": "File Editor Tooltips",
"description": "File editor tooltip settings.",
"jupyter.lab.shortcuts": [
{
"command": "tooltip:launch-file",
"keys": ["Shift Tab"],
"selector": ".jp-FileEditor .jp-CodeMirrorEditor:not(.jp-mod-has-primary-selection):not(.jp-mod-in-leading-whitespace)"
}
],
"properties": {},
"additionalProperties": false,
"type": "object"
}
|