added checkbox in UI for optional fuzzy parameter

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

diff --git a/src/FeaturesPlugin/partition_widget.xml b/src/FeaturesPlugin/partition_widget.xml
index ad5e97ef545f4fdd06c5ec8c5a428ca1f2992a03..a6baaa54976afb0bb4762fe0f3569b0d4c9df66a 100644 (file)
--- a/src/FeaturesPlugin/partition_widget.xml
+++ b/src/FeaturesPlugin/partition_widget.xml
@@ -7,5 +7,16 @@
     clear_in_neutral_point="false">
     <validator id="FeaturesPlugin_ValidatorPartitionSelection" parameters="Plane"/>
   </multi_selector>
+  <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-5"
+                  default="1.e-5">
+      <validator id="GeomValidators_Positive"/>
+    </doublevalue>
+  </optionalbox>
   <validator id="GeomValidators_MinObjectsSelected" parameters="base_objects,1"/>
 </source>