Changeset 1822 in orxonox.OLD for orxonox/branches/bensch/orxonox_gui_video.c

Timestamp:

Apr 14, 2004, 2:53:37 AM (21 years ago)

Author:

bensch

Message:

orxonox/branches/bensch: hmm… little typo… it simply was too late for me

File:

• orxonox/branches/bensch/orxonox_gui_video.c (modified) (1 diff)

orxonox/branches/bensch/orxonox_gui_video.c

@@ -3 +3 @@
 void video_option_change(GtkWidget *widget, int* data)
 {
-  *data = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON (widget)); 
+  *data = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(widget)); 
   orxonox_flags_update ();
   if (verbose >=1)
-    printf ("%s changed to %i.\n", gtk_button_get_label(widget), *data);
+    printf ("%s changed to %i.\n", gtk_button_get_label(GTK_BUTTON(widget)), *data);
 }