Filtres de ressources

Identificateur : org.eclipse.ui.resourceFilters

Description : ce point d'extension est utilisé pour ajouter des filtres prédéfinis aux vues qui montrent des ressources, telle que la vue Navigateur. Ces filtres peuvent être sélectionnés pour masquer les ressources dont les noms correspondent au modèle du filtre.

Marques de configuration :

   <!ELEMENT filter(description?)>
   <!ATTLIST filter
      pattern    CDATA #REQUIRED
      selected   CDATA #OPTIONAL
    >
    <!ELEMENT description (#PCDATA)>

Exemples :

L'exemple suivant est celui d'une extension de filtre de ressources qui filtre les fichiers classe et est sélectionné par défaut :

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

Copyright IBM Corp. 2000, 2001. Tous droits réservés.