Resource Filters

Identifier: org.eclipse.ui.resourceFilters

Description: This extension point is used to add predefined filters to views which show resources, such as the Navigator view. These filters can be selected to hide resources whose names match the filter's pattern.

Configuration Markup:

   <!ELEMENT filter(description?)>
   <!ATTLIST filter
      pattern    CDATA #REQUIRED
      selected   (true|false) "false"
    >
    <!ELEMENT description (#PCDATA)>

Examples:

The following is an example of a resource filter extension, which filters out class files, and is selected by default:

   <extension
        point="org.eclipse.ui.resourceFilters">
        <filter
            pattern="*.class"
            selected="true">
        </filter>
    </extension>

Copyright IBM Corporation and others 2000, 2002.