void window_delete (int win) { static hashmap<int,bool> busy (false); if (busy->contains (win)) return; busy (win)= true; ASSERT (window_table->contains (win), "window does not exist"); widget pww= window_table [win]; window_table->reset (win); send_destroy (pww); destroy_window_widget (pww); busy (win)= false; }
void x_window_rep::destroy_event () { notify_window_destroy (orig_name); send_destroy (w); }
void eth_destroy( void ) { send_destroy(); recv_destroy(); }