void Motd_destroy(void) { Widget_destroy(motd_viewer); motd_viewer = NO_WIDGET; XFREE(motd_buf); }
void PROT__widget_destroy( SDLGuiTK_Widget * widget ) { Widget_destroy( widget ); }
void Keys_destroy(void) { Widget_destroy(keys_viewer); keys_viewer = NO_WIDGET; /*keys_created = false;*/ }