Changeset 1820 in orxonox.OLD for orxonox/branches/bensch
- Timestamp:
- Apr 14, 2004, 2:16:09 AM (21 years ago)
- Location:
- orxonox/branches/bensch
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
orxonox/branches/bensch/orxonox_gui.c
r1819 r1820 64 64 65 65 gtk_widget_show_all (window); 66 66 67 67 gtk_main (); 68 68 -
orxonox/branches/bensch/orxonox_gui_exec.c
r1819 r1820 42 42 orxonox_flags_update(); 43 43 gtk_container_add (GTK_CONTAINER(flags_frame), exec_flags_label); 44 44 45 } 45 46 gtk_box_pack_start(GTK_BOX (orxonox_gui_exec_vbox), flags_frame, FALSE, FALSE, 5); -
orxonox/branches/bensch/orxonox_gui_video.c
r1819 r1820 1 1 #include "orxonox_gui_video.h" 2 2 3 void video_option_change(GtkWidget *widget, gpointerdata)3 void video_option_change(GtkWidget *widget, int* data) 4 4 { 5 data = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON (widget));6 orxonox_flags_update (); 5 *data = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON (widget)); 6 orxonox_flags_update (); 7 7 if (verbose >=1) 8 printf ("%s changed to %i.\n", gtk_button_get_label(widget), data);8 printf ("%s changed to %i.\n", gtk_button_get_label(widget), *data); 9 9 } 10 10 -
orxonox/branches/bensch/orxonox_gui_video.h
r1819 r1820 4 4 #include "orxonox_gui.h" 5 5 6 void video_option_change(GtkWidget *widget, gpointerdata);6 void video_option_change(GtkWidget *widget, int * data); 7 7 GtkWidget *orxonox_gui_video_frame (struct settings *orxonox_settings); 8 8
Note: See TracChangeset
for help on using the changeset viewer.