Module tabs

Structs§

PresenceFaceProps: One face on a tab: who is at the tab’s resource now.
SharedBy: Whose a window is that someone else shared with the workspace, as the bar of the window it opens here says while the window is in front: their name, “Ana’s window”, with their face.
SharedWith: Who can see a window its person shared with a workspace where each person lays out their own windows: the workspace, by name, and the people in it now, as the window’s bar says while the window is in front.
TabBar
TabDescriptor
TabHolder: Whoever opened a tab on a shared desktop, when it is not this desktop’s person and they may not rearrange it: no close, a drag that springs back, and hovering names them.
TabItemProps: One tab of a frame: the resource it shows, and what its pill says.
TabStrip: A frame’s tab strip.
TabStripProps: A frame’s tabs, in one row above its content: the shell’s tab strip.

TabMark: What a tab’s content is doing, marked in place of its icon: loading, or making sound. A sound mark is a control, and a click is reported by TabBar::take_mark_click.

NEW_TAB_CHIP_PX: Square at pill height so the “+” chip reads as part of the pill row.
TAB_BAR_HEIGHT
TAB_PILL_INSET_Y: 44 – 2×6 = 32 px pill height and pointer-sized + affordance.
TOOLBAR_ROW_HEIGHT: The row the active tab’s slots take under the tabs of a tabbed window.
WINDOW_CLOSE_TARGET
WINDOW_HISTORY_TARGET: Action targets of the window’s own controls (History, maximize/restore, close), as assistive technology and automation address them.
WINDOW_MAXIMIZE_TARGET

draw_app_mark: A window’s application mark at any size: the app’s own artwork when it has some, else the app-kind glyph its tab pill wears, scaled up from the pill’s 14 px design size. Every surface that names a window by its app (the tab pill, the window switcher, the overview) paints this one mark.
pack_point: A point packed as the one number an event’s at carries: y in whole logical pixels above x, each below a million, so a window’s coordinates survive the round trip.
unpack_point: The point pack_point packed.