|
|
| version 1.5, 2009/03/05 11:50:39 | version 1.7, 2011/01/15 16:01:52 |
|---|---|
| Line 40 static void | Line 40 static void |
| about_destroy(GtkWidget *w, GtkWidget **wp) | about_destroy(GtkWidget *w, GtkWidget **wp) |
| { | { |
| UNUSED(wp); | |
| install_idle_process(); | install_idle_process(); |
| gtk_widget_destroy(w); | gtk_widget_destroy(w); |
| } | } |
| Line 99 create_about_dialog(void) | Line 97 create_about_dialog(void) |
| gtk_box_pack_end(GTK_BOX(main_widget), ok_button, FALSE, TRUE, 0); | gtk_box_pack_end(GTK_BOX(main_widget), ok_button, FALSE, TRUE, 0); |
| g_signal_connect_swapped(GTK_OBJECT(ok_button), "clicked", | g_signal_connect_swapped(GTK_OBJECT(ok_button), "clicked", |
| G_CALLBACK(gtk_widget_destroy), GTK_OBJECT(about_dialog)); | G_CALLBACK(gtk_widget_destroy), GTK_OBJECT(about_dialog)); |
| GTK_WIDGET_SET_FLAGS(ok_button, GTK_CAN_DEFAULT); | gtk_widget_set_can_default(ok_button, TRUE); |
| GTK_WIDGET_SET_FLAGS(ok_button, GTK_HAS_DEFAULT); | gtk_widget_has_default(ok_button); |
| gtk_widget_grab_default(ok_button); | gtk_widget_grab_default(ok_button); |
| gtk_widget_show_all(about_dialog); | gtk_widget_show_all(about_dialog); |