void tm_frame_rep::dialogue_end () { if (!is_nil (dialogue_win)) { set_visibility (dialogue_win, false); destroy_window_widget (dialogue_win); dialogue_win= widget (); dialogue_wid= widget (); } }
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; }