1 2 3 4 5 6 7 8 9 10 11 12 13 14
{ "title": "Launcher", "description": "Launcher settings.", "jupyter.lab.shortcuts": [ { "command": "launcher:create", "keys": [""], "selector": "body" } ], "properties": {}, "additionalProperties": false, "type": "object" }