Filtros de recursos

org.eclipse.ui.ide.resourceFilters

3.0 (originariamente añadido en el release 1.0 como org.eclipse.ui.resourceFilters)

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.

<!ELEMENT extension (filter*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT filter (description?)>

<!ATTLIST filter

pattern  CDATA #REQUIRED

selected (true | false) "false">


<!ELEMENT description (#PCDATA)>

descripción de la finalidad de este filtro.



A continuación figura 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.ide.resourceFilters"

>

<filter pattern=

"*.class"

selected=

"true"

/>

</extension>