Module container 

One container for every workspace’s views (lumen’s planes, tables and plots; dsp-kitchen’s traces and rasters): a dock whose views are tabs dragged into splits, the “Add view or container” dialog (after Rerun’s: arrange every view, or add one), and the buttons in a view’s tab. A workspace only lists its view kinds (ViewOption) with their flags: whether each can be added now (and why not), which one a view shows.

Structs

AddViewDialog

“Add view or container”: the arrangements, then the workspace’s views; ↑ ↓ move between the rows that can run, Enter runs one, Esc or a click outside closes.

ViewOption

A kind of view a container offers.

Enums

Arrangement

How the views are laid out together.

DialogEvent

What the dialog asks for.

Functions

add_beside

Adds panel to the dock’s centre, split off beside (another view’s entity) at placement when it is there.

arrange

Lays out panels in dock’s centre as how.

arranged

The views laid out as how, in order.

new_dock

A dock for views, with the look every workspace shares (no dock toggle buttons).

tab_buttons

The buttons in a view’s tab: one per kind it can show (current selected; a click shows that kind in this view), then “+” (add a view, or arrange them). Ids: {key}-kind-{i}, {key}-add. gpui-kit’s small size (about 24 px: designparser touch-target).