support fuzzy parameter in all boolean operations

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

diff --git a/src/FeaturesPlugin/partition_widget.xml b/src/FeaturesPlugin/partition_widget.xml
old mode 100755 (executable)
new mode 100644 (file)
index b2c8250..6a2eda7
--- a/src/FeaturesPlugin/partition_widget.xml
+++ b/src/FeaturesPlugin/partition_widget.xml
@@ -1,12 +1,22 @@
-<!-- Copyright (C) 2014-20xx CEA/DEN, EDF R&D -->
-
 <source>
   <multi_selector id="base_objects"
     label="Base objects:"
     tooltip="Select objects for partitioning."
-    type_choice="objects"
-    concealment="true">
+    shape_types="objects"
+    concealment="true"
+    clear_in_neutral_point="false">
     <validator id="FeaturesPlugin_ValidatorPartitionSelection" parameters="Plane"/>
   </multi_selector>
-  <validator id="GeomValidators_MinObjectsSelected" parameters="base_objects,2"/>
+  <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="GeomValidators_MinObjectsSelected" parameters="base_objects,1"/>
 </source>