mirror of
https://github.com/storytold/effectcraft.git
synced 2026-10-14 19:27:05 -04:00
BFlatandClaude Opus 5.5
1db3698719
Save as New Workspace stored the layout and `window.workspace` could switch to it, but the Workspace submenu was a fixed list of the built-in workspaces, so a saved one never appeared and could not be chosen from the menu. The submenu now has a `savedWorkspaces` dynamic node after the built-ins (DynCtx carries the saved names), in the in-window and native menus, with a check mark on the current one as the built-ins have. The in-window submenu was also too short to show it. egui lays out a new submenu in a default 400 pt area, and the scroll area inside took that height and kept it, so Window ▸ Workspace (514 pt) opened with its last rows (Undocked Panels and below, where saved workspaces go) scrolled out of view. Submenus now open at their full height and scroll only when taller than the window. Tests: saved_workspace_is_listed_in_the_workspace_menu (picks it from the menu bar), saved_workspaces_are_in_the_native_workspace_menu. Co-Authored-By: Claude Opus 5.5 <[email protected]>