UI.8: collapse dock groups to their tabs

Squashed from #3281 onto main.
This commit is contained in:
bflatastic
2026-10-22 04:07:25 +07:00
parent e99dea21ff
commit b3268a829d
34 changed files with 572 additions and 28 deletions
+5
View File
@@ -858,6 +858,11 @@ positions of hidden panels. Resetting a built-in workspace restores its default
dock placement when possible, or to the supplied destination.
- `window.panel.activate {panel}` reveals and selects a panel, restoring its saved
position when possible. `window.panel.close {panel}` hides it.
- `window.panel.collapse {panel, collapsed?}` shows the dock group holding a panel as its tabs
only, as a double-click on a tab does (without `collapsed` it toggles), and makes the panel the
group's shown one; showing another of its panels expands the group. Only a group that is the
whole dock or sits above or below another collapses (one beside another is refused). Floating
groups collapse with `window.panel.float {panel, collapsed}`. Returns `{panel, collapsed}`.
Panel IDs are stable across themes. Invalid IDs, non-finite or invalid geometry, and
invalid destinations return an error without changing the arrangement.