report_backend_window_id_unregistered

Function report_backend_window_id_unregistered 

Source
pub fn report_backend_window_id_unregistered(label: String)
Expand description

Phase B.5 (window_id_map step b) — sync API: report a window’s backend ID being dropped (close path). Called from client.rs::on_before_close after the host’s local window_id_map.remove. No-op if launcher pipe absent.