Bidrag med ressourcefiltre

Ressourcefilterudvidelsen tillader plugins at definere filtre, der bruges til at bortfiltrere filtyper i ressourcenavigatoren. Denne udvidelse er nyttig, når der bruges specielle filtyper til at repræsentere interne plugin-oplysninger, og du ikke ønsker, at filerne skal vises på arbejdsbænken, eller at de kan ændres af brugeren.

Arbejdsbænken bortfiltrerer mønstret ".*" for at udelukke interne filer som f.eks. .metadata fra ressourcenavigatoren. På samme måde bortfiltrerer JDT-plugin'en filerne "*.class" for at skjule kompilerede klasser.

Koden for ressourcefilterudvidelsen er enkel. Følgende kode er hentet fra arbejdsbænkens plugin.xml.

<extension
         point="org.eclipse.ui.ide.resourceFilters">
      <filter
            selected="false"
            pattern=".*">
      </filter>
</extension>   

Brugeren kan aktivere filtrene ved at bruge den lokale menu i ressourcenavigatoren.

Menu til ressourcefiltre

Ud over at erklære filtermønstret, kan plugin'en bruge attributten selected til at angive, om filtret skal aktiveres i ressourcenavigatoren. Attributten bestemmer kun den grundlæggende tilstand af filtermønstret. Brugeren kan styre, hvilke filtermønstre der er aktive.

Dialogboks for filtervalg