Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

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


Ignore:
Timestamp:
Dec 11, 2004, 11:29:31 PM (19 years ago)
Author:
bensch
Message:

orxonox/trunk/gui: better signal-handling

File:
1 edited

Legend:

Unmodified
Added
Removed
  • orxonox/trunk/gui/orxonox_gui_gtk.cc

    r3156 r3157  
    170170  if (widget->isOption >= 1)
    171171    static_cast<Option*>(widget)->redraw();// <<" is : " << static_cast<Option*>(this)->value <<endl;
     172}
     173
     174gint Widget::doNothingSignal (GtkWidget *widget, GdkEvent* event, void* nothing)
     175{
    172176}
    173177
Note: See TracChangeset for help on using the changeset viewer.