added checkbox in UI for optional fuzzy parameter

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

diff --git a/src/FeaturesPlugin/boolean_smash_widget.xml b/src/FeaturesPlugin/boolean_smash_widget.xml
index c7077ef4176823d575c70be8e7426da362acf885..51bf3acf93c29fe3270b89522d1ea82612de7986 100644 (file)
--- a/src/FeaturesPlugin/boolean_smash_widget.xml
+++ b/src/FeaturesPlugin/boolean_smash_widget.xml
@@ -19,16 +19,16 @@
     <validator id="PartSet_DifferentObjects"/>
     <validator id="FeaturesPlugin_ValidatorBooleanSmashSelection"/>
   </multi_selector>
-  <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_ValidatorBooleanArguments" parameters="main_objects,tool_objects"/>
 </source>