void on_quit1_activate(GtkWidget *widget) { if (!main_window_delete_event(NULL, NULL, NULL)) { quit_application(); gtk_main_quit (); } }
void main_window_destroy_event(GtkWidget *widget, gpointer data) { quit_application(); cleanup_calltip(); gtk_main_quit(); }
void main_window_destroy_event(GtkWidget *widget, gpointer user_data) { MainWindow *main_window = (MainWindow *) user_data; quit_application(main_window); gtk_main_quit(); }