Filtros de recursos

Identificador: org.eclipse.ui.resourceFilters

Descripción: este punto de extensión permite añadir filtros predefinidos a las vistas que muestran recursos, como la vista Navegador. Estos filtros pueden seleccionarse para ocultar recursos cuyos nombres coincidan con el patrón del filtro.

Códigos XML de configuración:

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

Ejemplos:

A continuación vemos un ejemplo de una extensión de filtro de recursos, que filtra los archivos de clase, y está seleccionado por omisión:

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

Copyright IBM Corporation y otros 2000, 2002.