int
gnome_close_panel (GtkWidget *widget, WPanel *panel)
{
Dlg_head *h = panel->widget.parent;
if (panel->timer_id){
gtk_timeout_remove (panel->timer_id);
panel->timer_id = -1;
}
/* Remove the widgets from the dialog head */
remove_widget (h, panel->current_dir);
remove_widget (h, panel->filter_w);
remove_widget (h, panel);
/* Kill them */
destroy_widget (panel->current_dir);
destroy_widget (panel->filter_w);
destroy_widget ((void *)panel);
layout_panel_gone (panel);
mc_chdir ("/");
return TRUE;
}
static gboolean plugin_unload(PurplePlugin *plugin)
{
/* destroy widget and free memory */
destroy_widget();
/* restore statusbox */
set_statusbox_visible(TRUE);
purple_debug_info(NAME,"plugin destroyed...\n");
return TRUE;
}
void reset_gui()
{
widget_list_item_t* current=gamemenu_top;
widget_list_item_t* tmp;
while (current)
{
destroy_widget(current->widget);
current->widget=0;
tmp=current;
current=current->next;
free(tmp);
}
active_item=NULL;
gamemenu_top=NULL;
}
