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