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