| { | |
| "jupyter.lab.menus": { | |
| "main": [ | |
| { | |
| "id": "jp-mainmenu-file", | |
| "items": [ | |
| { | |
| "type": "separator", | |
| "rank": 100 | |
| }, | |
| { | |
| "command": "hub:control-panel", | |
| "rank": 100 | |
| }, | |
| { | |
| "command": "hub:logout", | |
| "rank": 100 | |
| }, | |
| { | |
| "type": "separator", | |
| "rank": 100 | |
| } | |
| ] | |
| } | |
| ] | |
| }, | |
| "title": "JupyterHub", | |
| "description": "JupyterHub settings.", | |
| "properties": {}, | |
| "additionalProperties": false, | |
| "type": "object" | |
| } | |