dummy=(int)user_data;
dummy=(TPE)user_data;
void wrapToolButton(GtkWidget * wid, gpointer user_data){        gui_act action;        int dummy;        dummy=(int)user_data;        action=(gui_act) dummy;        gtk_dialog_response(GTK_DIALOG(dialog),action);}