File size: 669 Bytes
d1ceb73 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 |
{
"jupyter.lab.menus": {
"main": [
{
"id": "jp-mainmenu-file",
"items": [
{
"type": "separator",
"rank": 10
},
{
"type": "submenu",
"rank": 10,
"submenu": {
"id": "jp-mainmenu-file-notebookexport",
"label": "Save and Export Notebook As"
}
},
{
"type": "separator",
"rank": 10
}
]
}
]
},
"title": "Notebook Export",
"description": "Notebook Export settings.",
"properties": {},
"additionalProperties": false,
"type": "object"
}
|