Filtres de ressources

org.eclipse.ui.ide.resourceFilters

3.0 (ajouté à l'origine dans la version 1.0 en tant que org.eclipse.ui.resourceFilters)

Ce point d'extension sert à ajouter des filtres prédéfinis à des vues montrant des ressources, telles que la vue Navigateur. Ces filtres peuvent être sélectionnés pour masquer les ressources dont les noms correspondent au modèle du filtre.

<!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)>

la description du but de ce filtre.



L'exemple ci-dessous illustre l'extension d'un filtre de ressource filtrant les fichiers de classe et sélectionné par défaut :

 

<extension point=

"org.eclipse.ui.ide.resourceFilters"

>

<filter pattern=

"*.class"

selected=

"true"

/>

</extension>