Aggiunta di filtri delle risorse

L'estensione dei filtri delle risorse consente ai plugin di definire criteri utili per filtrare tipi di file nella vista di selezione risorse. L'estensione serve quando vengono utilizzati tipi di filtri speciali per rappresentare informazioni interne di plugin e non si desidera che i file siano visualizzati nel workbench o manipolati dall'utente.

Il workbench filtra il modello ".*" per escludere file interni, come i metadati, dal pannello di selezione risorse. Nello stesso modo, il plugin JDT filtra i file "*.class" per nascondere classi compilate.

Il tag per l'estensione dei filtri delle risorse è semplice.  Il seguente esempio è tratto dal workbench plugin.xml.

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

I filtri possono essere attivati dall'utente mediante il menu a discesa locale del pannello di selezione delle risorse.

Menu Filtri di risorse

Oltre a dichiarare il modello del filtro, pattern, il plugin può utilizzare l'attributo selected per specificare se il filtro deve essere attivato nel pannello di selezione risorse.  L'operazione determina soltanto lo stato iniziale del modello di filtro.  L'utente può controllare i modelli di filtro attivi.

Finestra di dialogo di selezione filtro