Variable WorkspaceSwitcherMenuSection`Const`

WorkspaceSwitcherMenuSection: React.FC<
    SwitcherProps & {
        allHref?: string;
        allLabel?: ReactNode;
        initialQuery?: string;
    },
> = ...

The workspace part of a dropdown menu, inside its DropdownMenuContent: the active workspace, then a search box over every workspace the caller may enter, showing the recent ones while it is empty.