Changeset 3288 in orxonox.OLD for orxonox/branches/updater/src/gui/orxonox_gui_gtk.h

Timestamp:

Dec 26, 2004, 3:22:05 AM (19 years ago)

Author:

bensch

Message:

orxonox/branches/updater: saveable flag is now protected

File:

• orxonox/branches/updater/src/gui/orxonox_gui_gtk.h (modified) (2 diffs)

orxonox/branches/updater/src/gui/orxonox_gui_gtk.h

@@ -193 +193 @@
 class Option : public Widget
 {
+ protected:
+  bool saveable;  //!< Options can be Saved.
+  
  public:
   //virtual gint OptionChange (GtkWidget* widget, GdkEvent* event, gpointer data);
@@ -201 +204 @@
   char* flagNameShort; //!< like flag_name but shorter
   int defaultValue; //!< A default value is good, for hiding a option if it is not needed. (hidden if value == default_value)
-  bool saveable;  //!< Options can be Saved.
-
+
+  void saveability(void);
+  void saveability(bool isSaveable);
+  bool isSaveable(void);
   void setFlagName (char* flagname, int defaultvalue);
   void setFlagName (char* flagname, char* flagnameshort, int defaultvalue);