Filtri delle risorse

org.eclipse.ui.ide.resourceFilters

3.0 (aggiunto nella versione 1.0 come org.eclipse.ui.resourceFilters)

Questo punto di estensione consente di aggiungere filtri predefiniti alle viste che mostrano risorse, come la vista Selezione. Tali filtri possono essere selezionati per nascondere risorse il cui nome corrisponda al modello 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)>

descrizione dello scopo del filtro.



Di seguito viene riportato un esempio di punto di estensione per un filtro di risorse, attivo sui file di classe e selezionato per impostazione predefinita:

 

<extension point=

"org.eclipse.ui.ide.resourceFilters"

>

<filter pattern=

"*.class"

selected=

"true"

/>

</extension>