src/FiltersPlugin/filter-OnPlaneSide.xml

   1 <filter id="OnPlaneSide">
   2   <shape_selector id="OnPlaneSide__OnPlaneSide"
   3                   label="Plane:"
   4                   tooltip="Select plane or planar face."
   5                   shape_types="faces">
   6     <validator id="GeomValidators_ShapeType" parameters="plane"/>
   7   </shape_selector>
   8 </filter>