Resourcefilters

org.eclipse.ui.ide.resourceFilters

3.0 (oorspronkelijk toegevoegd in versie 1.0 als org.eclipse.ui.resourceFilters)

Dit extensiepunt wordt gebruikt on vooraf gedefinieerde filters toe te voegen aan views waarin resources worden weergegeven, bijvoorbeeld de view Navigator. Deze filters kunnen worden geselecteerd om resources te verbergen waarvan de naam niet overeenkomt met het filterpatroon.

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

Een beschrijving van het doel van deze filter.



Dit is een voorbeeld van de extensie resourceFilters voor een filter die CLASS-bestanden filtert en standaard is geselecteerd:

 

<extension point=

"org.eclipse.ui.ide.resourceFilters"

>

<filter pattern=

"*.class"

selected=

"true"

/>

</extension>