[foxnne]

Part of fizzyedit/work#33

Supersedes #566, narrowed to trays and lone floats. #566 grew into reworking the explorer's state, Split.close and a mid-frame reveal, and kept regressing; this keeps to the one primitive and leaves everything around it as it is on main.

What changes

A plugin can put its view away, not only show it, so a button can toggle it:

pub fn hideSurface(self: *Host, id: []const u8) bool

if (!host.hideSurface(id)) _ = host.revealSurface(id); // a toggle

It acts in two cases only, each the way the user's own gesture does:

• The view is what a tray shows. A tray is a place the shape declared resize and not forget_when_empty (so not a place a split made), in the main window. If it is open, not folded, and id is its shown view, it shuts with whatever else it holds, through Region.close, as its rail icon or close does. revealSurface opens it again at the size the user left it.
• The view is alone in a float. The float closes through Layout.closeFloat, as its close button does, and the view goes home.

Anything else returns false and changes nothing: Main, a split's half (of a tray too), a plugin's pane, a view behind another tab, a view out of sight, a float with other views.

How:

• Layout.hideTarget(id) is the one predicate. It finds the region showing id the way reveal does, and says what a hide would do (Hide.tray / Hide.float) or null. Layout.hide applies it at once (between frames).
• During a frame (a button in a view's draw), the shape and the floats are walking the lists a hide changes. Layout.hideLater answers with the same hideTarget and queues the id; Layout.applyHides does the queued hides once the shape, floats, drag overlay and picker have drawn, each asking hideTarget again. revealSurface is unchanged (immediate), so a hide asked first in a frame lands after a reveal asked later in it: a toggling caller makes one call a frame. Documented.
• The registry entry of a declared place now carries its resize (one line in Region.init's registration), which is how hideTarget knows a tray.
• Editor wires the vtable member. A hide that shut the sidebar then calls the explorer's existing Explorer.close, so its closed flag (Toggle Explorer, its menu title) agrees; nothing in Explorer changes.
• A test fix this needs. markdown preview: skipping off-screen blocks lays the document out identically lays out docs/PLUGINS.md itself and compared two f32 totals near 41000 pt to an absolute 0.01, where one rounding step is 0.004. The section added here tipped it (41430.58 vs 41430.59, locally and on CI's Linux run); it now compares relatively, at 1e-6.
• The extents_changed check in fizzy's frame moved below the picker and the applied hides, so a change either makes is saved too.

Contract: docs/PLUGINS.md §3.1.2, "Showing and putting away a view".

SDK impact

• None
• Core-only or additive: reaches plugins at the next SDK release
• Fingerprint moved: recorded in sdk/src/version.zig (0x1dd3a67d781503a7, combined with main's after sdk: a plugin's data folder entry goes with the plugin #587), sdk_version untouched, PR labelled sdk. New: EditorAPI.VTable.hideSurface, EditorAPI.hideSurface, Host.hideSurface.
• SDK release: bumps sdk_version, lists the sdk PRs since the last sdk-v* tag

Verified

• macOS, on the merge with main: all gates pass (scripts/check-fmt.sh, zig build, test, test-integration, check-web, test-sdk-version, check-tests-reached, scripts/check-examples.sh). New integration tests on the ManyPanelCase harness (whose frame now applies hides at its end, as fizzy's does):
  • a tray's view shuts the tray; a second hide and an unknown id are false; reveal reopens it; hide again shuts it (the toggle);
  • a view in Main, and in a place split off Main, is false and nothing changes;
  • a view in a tray the user split is false and nothing changes;
  • a view alone in a float closes the float and goes home to the panel;
  • a view in a float with another is false for both views, and the float stays;
  • a floating view asking from its own draw: the answer is true, the float is still open while it draws, and it is closing by the frame's end, then gone.
• Windows:
• Linux:
• Web: builds (check-web)

Follow-ups

Deliberately left out, each a case hideSurface returns false for today:

• views in a split tree of a tray (a panel the user split): which half shuts, and whether the tray does;
• views in a float with other views (send one home, keep the float);
• folded trays (a sidebar folded away on a narrow window), which count as out of sight;
• revealSurface reopening the sidebar leaves Explorer.closed as it was (as on main); worth one source of truth for the explorer's state in its own PR.

🤖 Generated with Claude Code