Filtri delle risorse

Identificativo: org.eclipse.ui.resourceFilters

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

Tag di configurazione:

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

Esempi:

Di seguito viene riportato un esempio di un filtro delle risorse selezionato per impostazione predefinita, che consente di filtrare file class:

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

Copyright IBM Corp. 2000, 2001. Tutti i diritti riservati.