added checkbox in UI for optional fuzzy parameter

[modules/shaper.git] / src / FeaturesPlugin / boolean_common_widget.xml

diff --git a/src/FeaturesPlugin/boolean_common_widget.xml b/src/FeaturesPlugin/boolean_common_widget.xml
index c34682a3d8a5298caecd5d48c378271e65deed28..52d6ca7ea801b422c40f44286bbbaf392749fefb 100644 (file)
--- a/src/FeaturesPlugin/boolean_common_widget.xml
+++ b/src/FeaturesPlugin/boolean_common_widget.xml
@@ -38,17 +38,17 @@
       </multi_selector>
     </box>
   </toolbox>
-  <groupbox>
+  <optionalbox id="use_fuzzy">
     <doublevalue id="fuzzy_param"
                   label="Fuzzy parameter"
                   tooltip="Additional tolerance to eliminate tiny result."
                   min="1.e-7"
                   max="10"
-                  step="1.e-7"
-                  default="1.e-7">
+                  step="1.e-5"
+                  default="1.e-5">
       <validator id="GeomValidators_Positive"/>
     </doublevalue>
-  </groupbox>
+  </optionalbox>
   <validator id="FeaturesPlugin_ValidatorBooleanCommonArguments"
              parameters="main_objects,tool_objects"/>
 </source>