Changeset 2739 in orxonox.OLD for orxonox/trunk/gui/orxonox_gui.h

Timestamp:

Nov 6, 2004, 4:51:59 AM (20 years ago)

Author:

bensch

Message:

orxonox/trunk/gui: modified savable rutine. now a widget has to be set saveable, otherwise it won't be saved

File:

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

orxonox/trunk/gui/orxonox_gui.h

@@ -188 +188 @@
   char* flag_name_short; //!< like flag_name but shorter
   int default_value; //!< A default value is good, for hiding a option if it is not needed. (hidden if value == default_value)
+  bool saveable;
 
   void setFlagName (char* flagname, int defaultvalue);