Resourcefilters
ID:
org.eclipse.ui.ide.resourceFilters
Sinds:
3.0 (oorspronkelijk toegevoegd in versie 1.0 als org.eclipse.ui.resourceFilters)
Beschrijving:
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.
Configuratiemarkup:
<!ELEMENT extension (filter*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - een volledig gekwalificeerd ID van het doelextensiepunt.
- id - een optioneel ID van de extensie-instance.
- name - een optionele naam van de extensie-instance.
<!ELEMENT filter (description?)>
<!ATTLIST filter
pattern CDATA #REQUIRED
selected (true | false) "false">
- pattern - het patroon van overeenkomst. Kan de jokertekens * en ? bevatten.
- selected - "true" als het patroon standaard moet worden geselecteerd, "false" of niet gedefinieerd als dit niet het geval is.
<!ELEMENT description (#PCDATA)>
Een beschrijving van het doel van deze filter.
Voorbeelden:
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>
Copyright (c) 2002, 2004 IBM Corporation en anderen.
Alle rechten voorbehouden. Dit programma en het begeleidende materiaal zijn beschikbaar gesteld onder de voorwaarden van de Eclipse Public License v1.0 die bij deze distributie is geleverd en beschikbaar is op http://www.eclipse.org/legal/epl-v10.html.