Changeset 3254 in orxonox.OLD for orxonox/branches/updater/src/gui/orxonox_gui_update.h
- Timestamp:
- Dec 23, 2004, 2:03:12 AM (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
orxonox/branches/updater/src/gui/orxonox_gui_update.h
r3253 r3254 24 24 Button* updateSource; //!< A Button to update the Source of orxonox. \todo tricky 25 25 26 static gint updateDataFunc (GtkWidget* w, GdkEventKey* event, void* button); 27 static gint updateSourceFunc (GtkWidget* w, GdkEventKey* event, void* button); 28 29 26 30 public: 27 31 OrxonoxGuiUpdate (); … … 36 40 37 41 42 38 43 #endif /* _ORXONOX_GUI_UPDATE_H */
Note: See TracChangeset
for help on using the changeset viewer.