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 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 (#CDATA)>

   la description de la fonction de ce filtre.

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"/>
 </extension>

Copyright (c) 2002, 2003 IBM Corporation and others. All rights reserved. Ce programme et la documentation associée sont disponibles conformément aux dispositions de Common Public License v1.0 qui accompagne cette distribution et qui est disponible à l'adresse http://www.eclipse.org/legal/cpl-v10.html