{
  "title": "Launcher",
  "description": "Launcher settings.",
  "jupyter.lab.menus": {
    "main": [
      {
        "id": "jp-mainmenu-file",
        "items": [
          {
            "command": "launcher:create",
            "rank": 0.99
          }
        ]
      }
    ]
  },
  "jupyter.lab.shortcuts": [
    {
      "command": "launcher:create",
      "keys": ["Accel Shift L"],
      "selector": "body"
    }
  ],
  "jupyter.lab.toolbars": {
    "FileBrowser": [
      {
        "name": "new-launcher",
        "command": "launcher:create",
        "rank": 1
      }
    ]
  },
  "properties": {},
  "additionalProperties": false,
  "type": "object"
}
