#include <ModuleBase_WidgetSwitch.h>
#include <ModuleBase_WidgetShapeSelector.h>
#include <ModuleBase_WidgetDoubleValue.h>
+#include <ModuleBase_WidgetCheckDoubleValue.h>
#include <ModuleBase_WidgetIntValue.h>
#include <ModuleBase_WidgetBoolValue.h>
#include <ModuleBase_WidgetFileSelector.h>
result = new ModuleBase_WidgetLabel(theParent, myWidgetApi);
} else if (theType == WDG_DOUBLEVALUE) {
result = new ModuleBase_WidgetDoubleValue(theParent, myWidgetApi);
+ } else if (theType == WDG_CHECK_DOUBLEVALUE) {
+ result = new ModuleBase_WidgetCheckDoubleValue(theParent, myWidgetApi);
} else if (theType == WDG_INTEGERVALUE) {
result = new ModuleBase_WidgetIntValue(theParent, myWidgetApi);
} else if (theType == WDG_SHAPE_SELECTOR) {