Description: Ce point d'extension sert à étendre le jeu de filtres disponibles fournis par la vue Packages.
Marques de configuration :
<!ELEMENT wizard EMPTY>
<!ATTLIST wizard
pattern CDATA #REQUIRED
selected CDATA #IMPLIED
>
Voici un exemple de définition de masque de filtrage. Ce filtre exerce son action sur les classes internes et il est initialement sélectionné :
<extension point="org.eclipse.jdt.ui.javaElementFilters">
<filter
pattern="*$*.class"
selected="true">
</filter>
</extension>