Wnoszenie filtrów zasobów

Rozszerzenie filtrów zasobów umożliwia modułom dodatkowym definiowanie filtrów przydatnych do filtrowania typów plików w widoku nawigatora zasobów. Rozszerzenie to jest użyteczne, gdy do reprezentowania wewnętrznych informacji modułu dodatkowego używa się specjalnych typów plików, ale niewskazane jest, aby były one wyświetlane w środowisku roboczym i dostępne dla użytkowników.

Środowisko robocze filtruje pliki według wzorca ".*", wyłączając z nawigatora zasobów pliki wewnętrzne, takie jak .metadata. Podobnie moduł dodatkowy JDT filtruje pliki "*.class", aby ukryć skompilowane klasy.

Kod znaczników dla rozszerzenia filtrów zasobów jest prosty.  Poniższy fragment pochodzi z pliku plugin.xml środowiska roboczego.

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

Użytkownicy mogą włączać filtry przy użyciu lokalnego menu rozwijanego w nawigatorze zasobów.

Menu filtrów zasobów

Oprócz zdefiniowania wzorca filtru, moduł dodatkowy może użyć atrybutu selected w celu określenia, czy filtr powinien być włączony w nawigatorze zasobów.  Ten atrybut określa tylko początkowy stan wzorca filtrów.  Użytkownik może decydować o tym, które wzorce filtrów mają być aktywne.

Okno dialogowe wyboru filtru