Changeset 1983 in orxonox.OLD for orxonox/branches/gui/guicc/orxonox_gui.h

Timestamp:

Jun 18, 2004, 7:15:46 PM (21 years ago)

Author:

bensch

Message:

orxonox/branches/gui/guicc: added setFlagName

File:

• orxonox/branches/gui/guicc/orxonox_gui.h (modified) (1 diff)

orxonox/branches/gui/guicc/orxonox_gui.h

@@ -96 +96 @@
   
   int value;
-  char *option_name;
+  char* option_name;
+  char* flag_name;
+
+  void setFlagName (char *flagname);
 };