Changeset 4071 in orxonox.OLD for orxonox/trunk/src/lib/gui/gui/gui_flags.cc

Timestamp:

May 5, 2005, 11:30:32 PM (19 years ago)

Author:

bensch

Message:

orxonox/trunk/gui: new isOption-tag of Widgets: optionType

File:

• orxonox/trunk/src/lib/gui/gui/gui_flags.cc (modified) (2 diffs)

orxonox/trunk/src/lib/gui/gui/gui_flags.cc

@@ -76 +76 @@
 {
   FlagInfo* info =(FlagInfo*)flagInfo;
-  if(widget->isOption >= 1)
+  if(widget->optionType > GUI_NOTHING)
     if (static_cast<Option*>(widget)->value != static_cast<Option*>(widget)->defaultValue )
       {
@@ -90 +90 @@
           }
 
-        if(static_cast<Option*>(widget)->isOption == 2)
+        if(static_cast<Option*>(widget)->optionType > GUI_BOOL)
           {
             info->flagsLabel->appendText("=");