Example #1
0
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;
}
Example #2
0
void
x_window_rep::destroy_event () {
  notify_window_destroy (orig_name);
  send_destroy (w);
}
Example #3
0
void eth_destroy( void )
{
    send_destroy();
    recv_destroy();
}