support fuzzy parameter in all boolean operations

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

diff --git a/src/FeaturesPlugin/boolean_split_widget.xml b/src/FeaturesPlugin/boolean_split_widget.xml
index 2131c8dda7e2e6ed0f978be6b6771082decae8f9..7db9399c154e514280e0cf05b62751c3858141ba 100644 (file)
--- a/src/FeaturesPlugin/boolean_split_widget.xml
+++ b/src/FeaturesPlugin/boolean_split_widget.xml
@@ -19,5 +19,16 @@
     <validator id="PartSet_DifferentObjects"/>
     <validator id="FeaturesPlugin_ValidatorBooleanSelection"/>
   </multi_selector>
+  <groupbox>
+    <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">
+      <validator id="GeomValidators_Positive"/>
+    </doublevalue>
+  </groupbox>
   <validator id="FeaturesPlugin_ValidatorBooleanArguments" parameters="main_objects,tool_objects"/>
 </source>