Filtri delle risorse

Identificativo: org.eclipse.ui.resourceFilters

Descrizione: Questo punto di estensione consente di aggiungere filtri predefiniti alle viste che mostrano risorse, come la vista Selezione. Tali filtri possono essere selezionati per nascondere risorse il cui nome corrisponda al modello del filtro.

Tag di configurazione:

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

   descrizione dello scopo del filtro.

Esempi: di seguito viene riportato un esempio di punto di estensione per un filtro di risorse, attivo sui file di classe:

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

Copyright (c) 2002, 2003 IBM Corporation e altri. Tutti i diritti riservati. Questo programma e il materiale di accompagnamento sono disponibili secondo i termini della Common Public License v1.0 che sono distribuiti con il prodotto, e disponibili all'indirizzo http://www.eclipse.org/legal/cpl-v10.html