Filtros de recursos

Identificador: org.eclipse.ui.resourceFilters

Descripción: Este punto de extensión se utiliza para añadir filtros predeterminados a las vistas que muestran recursos, como la Vista de navegador. Estos filtros pueden seleccionarse para ocultar recursos cuyos nombres coincidan con el patrón del filtro.

Señalamiento de configuración:

   <!ELEMENT filter(description?)>
   <!ATTLIST filter
      pattern    CDATA #REQUIRED
      selected   CDATA #OPTIONAL
    >
    <!ELEMENT description (#PCDATA)>

Ejemplos:

A continuación vemos un ejemplo de 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 Corp. 2000, 2001.  Reservados todos los derechos.