Type alias DefaultMenuId

DefaultMenuId: "jp-menu-file" | "jp-menu-file-new" | "jp-menu-edit" | "jp-menu-help" | "jp-menu-kernel" | "jp-menu-run" | "jp-menu-settings" | "jp-menu-view" | "jp-menu-tabs"

The menu ids defined by default.