Changeset 1996 in orxonox.OLD for orxonox/branches/gui/guicc/orxonox_gui.h
- Timestamp:
- Jun 21, 2004, 2:11:32 AM (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
orxonox/branches/gui/guicc/orxonox_gui.h
r1993 r1996 15 15 #include <gtk/gtkmenu.h> 16 16 #include <gtk/gtkmenuitem.h> 17 #include <gtk/gtklabel.h> 17 18 18 19 … … 101 102 int default_value; 102 103 103 void setFlagName (char* flagname); 104 void setFlagName (char* flagname, int defaultvalue); 105 void setFlagName (char* flagname, char* flagnameshort, int defaultvalue); 104 106 }; 105 107 … … 136 138 static gint OptionChange (GtkWidget* widget, Widget* menu); 137 139 }; 138 140 141 class Label : public Widget 142 { 143 public: 144 Label (); 145 ~Label (); 146 147 void setText (char * text); 148 char* getText (); 149 }; 150 139 151 //gint orxonox_gui_quit (GtkWidget *widget, GdkEvent *event, gpointer data); 140 152
Note: See TracChangeset
for help on using the changeset viewer.