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"