Module workspace_menu 

WorkspaceSwitcherMenu — popover anchored to the rail’s WorkspaceBadge (M-UI.5 / AUT-125). Pure composition of UI-03 menu primitives.

Structs

WorkspaceSwitcherMenuProps

Props for the WorkspaceSwitcherMenu component.

WorkspaceView

View-model for one workspace row.

Functions

WorkspaceSwitcherMenu

Required Props

format_member_count

Format the member-count subtitle. 1 member (singular), N members (plural).

leak_str 🔒

Leak a String to &'static str so the leptos view can hold the reference without extra cloning. Storybook stories are short-lived processes (the headless exporter runs once per build) — total leak bytes are negligible.

render_row 🔒