Changeset 1829 in orxonox.OLD for orxonox/branches/bensch/orxonox_gui_exec.c
- Timestamp:
- Apr 15, 2004, 2:14:40 AM (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
orxonox/branches/bensch/orxonox_gui_exec.c
r1823 r1829 2 2 GtkWidget *exec_flags_label; 3 3 struct settings *exec_orxonox_settings; 4 5 gint orxonox_gui_quit ( GtkWidget *widget, GdkEvent *event, gpointer data) 6 { 7 if (exec_orxonox_settings->exec_save_settings) 8 orxonox_gui_file_save("~/.orxonox.conf", exec_orxonox_settings); 9 gtk_main_quit(); 10 return FALSE; 11 } 12 4 13 5 14 void exec_check_button_change(GtkWidget *widget, int* data) … … 83 92 84 93 quit_button = gtk_button_new_with_label ("quit"); 85 g_signal_connect(GTK_BUTTON(quit_button), "clicked", G_CALLBACK( gtk_main_quit), NULL);94 g_signal_connect(GTK_BUTTON(quit_button), "clicked", G_CALLBACK(orxonox_gui_quit), NULL); 86 95 gtk_box_pack_start(GTK_BOX (orxonox_gui_exec_vbox), quit_button, FALSE, FALSE, 5); 87 96
Note: See TracChangeset
for help on using the changeset viewer.