src/FeaturesPlugin/partition_widget.xml

   1 <source>
   2   <multi_selector id="base_objects"
   3     label="Base objects:"
   4     tooltip="Select objects for partitioning."
   5     shape_types="objects"
   6     concealment="true"
   7     clear_in_neutral_point="false">
   8     <validator id="FeaturesPlugin_ValidatorPartitionSelection" parameters="Plane"/>
   9   </multi_selector>
  10   <optionalbox id="use_fuzzy">
  11     <doublevalue id="fuzzy_param"
  12                   label="Fuzzy parameter"
  13                   tooltip="Additional tolerance to eliminate tiny result."
  14                   min="1.e-7"
  15                   max="10"
  16                   step="1.e-5"
  17                   default="1.e-5">
  18       <validator id="GeomValidators_Positive"/>
  19     </doublevalue>
  20   </optionalbox>
  21   <validator id="GeomValidators_MinObjectsSelected" parameters="base_objects,1"/>
  22 </source>