delete_workspace

agentmux_srv::backend::wcore::workspace

Function delete_workspace 

Source 
pub fn delete_workspace(
    store: &WaveStore,
    ws_id: &str,
) -> Result<(), StoreError>
Expand description

Delete a workspace and all its tabs/blocks.

Cascades through BOTH tabids and pinnedtabids — pinned tabs were silently leaked to disk before this fix (codex P1 #614).