src/FiltersPlugin/plugin-Filters.xml

   1 <plugin>
   2   <workbench id="Features" document="Part">
   3     <group id="Collections">
   4       <feature id="FiltersSelection"
   5                title="Selection filters"
   6                internal="1"
   7                helpfile="FiltersPlugin.html">
   8         <selection_filters/>
   9       </feature>
  10     </group>
  11   </workbench>
  12 </plugin>