Changeset 3157 in orxonox.OLD for orxonox/trunk/gui/orxonox_gui_gtk.h

Timestamp:

Dec 11, 2004, 11:29:31 PM (19 years ago)

Author:

bensch

Message:

orxonox/trunk/gui: better signal-handling

File:

• orxonox/trunk/gui/orxonox_gui_gtk.h (modified) (1 diff)

orxonox/trunk/gui/orxonox_gui_gtk.h

@@ -50 +50 @@
   static void listOptions (Widget* widget);
   static void setOptions (Widget* widget);
-
+  
+  static gint doNothingSignal (GtkWidget *widget, GdkEvent* event, void* nothing);
 };