report_pool_window_removed

Function report_pool_window_removed 

Source
pub fn report_pool_window_removed(label: String)
Expand description

Phase B.4 follow-up — sync API: report a pool window leaving the pool (promote, destroy). On promote callers should also call report_window_opened so the label transitions atomically (from the launcher’s perspective) from pool to windows.