Struct DockState 

pub struct DockState { /* private fields */ }

The dock layout: the tile tree + a dirty flag so a user layout edit persists. One field on BrepApp.

Implementations

impl DockState

pub fn new(store: &dyn ModelStore) -> Self

Load the persisted layout (reconciled against the current pane set), or fall back to the default layout.

pub fn ui(&mut self, ui: &mut Ui, ctx: DockContext<'_>) -> DockOutcome

Draw the dock tree, delegating each visible pane to its panel’s show. Applies workbench visibility first, then persists if the user re-laid it.

pub fn state_json(&self, active: bool) -> String

The __brepDock verifier global: {active, panes:[{kind,visible,rendered}]}. active is whether the dock owns the layout right now (false in sketch / ref-select mode, where the shell draws the viewport directly). When inactive, no side pane is rendered — the caller passes active=false.

pub fn show_pane(&mut self, kind: PaneKind)

Surface the pane of kind — make it the ACTIVE tab in its tab group so a pane sitting behind another tab becomes visible. No-op if it is already active. Used to bring the History tab forward when a feature is added (a context-bar create can happen while another side tab is showing), so the new row is actually seen (app.rs, paired with history.focus_feature).

A pane the active WORKBENCH hides is left alone. Activating its tab would not show it — Tabs::ensure_active moves active back to a VISIBLE tab during layout — but it would drag the user off whatever tab they were on and onto the first visible one, which is worse than doing nothing. Every caller today is already gated on the workbench that claims the pane, and the automation entry point refuses the call outright rather than no-op’ing (see automation::cmd_shell::show_pane); this keeps a future one honest.