src/FeaturesPlugin/glue_faces_widget.xml

   1 <source>
   2   <multi_selector id="main_objects"
   3     label="Objects"
   4     icon=""
   5     tooltip="Select shapes to glue."
   6     concealment="true">
   7     <validator id="FeaturesPlugin_ValidatorGlueFacesSelection"/>
   8   </multi_selector>
   9   <groupbox>
  10     <doublevalue id="tolerance"
  11                   label="Tolerance"
  12                   min="1.0e-7"
  13                   step="1.0e-7"
  14                   default="1.0e-7"
  15                   tooltip="Tolerance"/>
  16   </groupbox>
  17   <boolvalue id="keep_non_solids" label="Keep non-solid shapes" default="true" tooltip="Keep non-solid shapes"/>
  18 </source>