Module window_close 

window service handler — CloseWindow. Split out of window.rs; see that file’s dispatcher for the full method list.

Functions

close_workspace 🔒

Delete a closed window’s workspace, every agent in it closed gracefully first (agent_teardown, Policy::close()).

handle_close_window 🔒

store_block_ids 🔒

Every block in a workspace’s tabs (regular and pinned), read from the store.