Ressursfiltre

org.eclipse.ui.ide.resourceFilters

3.0 (opprinnelig lagt til i utgave 1.0 som org.eclipse.ui.resourceFilters)

Dette utvidelsespunktet blir brukt til å legge til forhåndsdefinerte filtre til visninger som viser ressurser, for eksempel navigatorvisningen. Disse filtrene kan velges for å skjule ressurser med navn som samsvarer med filterets mønster.

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

beskrivelsen av hensikten med dette filteret.



Nedenfor finner du et eksempel på en ressursfilterutvidelse, som filtrerer bort klassefiler. Den blir valgt som standard:

 

<extension point=

"org.eclipse.ui.ide.resourceFilters"

>

<filter pattern=

"*.class"

selected=

"true"

/>

</extension>