delete_tab_inner

Function delete_tab_inner 

Source
pub(super) fn delete_tab_inner(
    store: &WaveStore,
    tab_id: &str,
) -> Result<(), StoreError>
Expand description

Internal: delete a tab’s layout and blocks, then the tab itself. Kills shell processes for all blocks before deleting from the database.