Discussion :

[michelp38]

J'essaie de rajouter des filtres aux navigateurs :
ça marche bien pour le navigateur de ressource en utilisant l'extension
ui.ide.resourceFilters.

Je n'arrive pas à trouver comment faire la même chose avec le navigateur de projets et le navigateur java

Si quelqu'un a une solution ....

Merci

[djo.mos]

Bonjour,
Pour Project explorer (que je hais à cause de nombreux bugs dans la version 3.3.1.1 ), tu cliquyes sur le bouton Menu (le triangle inversé) et tu sélectionnes Customize view.

Par contre, je ne sais pas ce que tu veux dire par "le navigateur java" ... c''est le package Explorer ?

[michelp38]

Pour java je voulais effectivement parler du"package explorer"

Pour le "customize view" ça permet effectivement d'activer ou desactiver des filtres dèja présents.
Ce que je voudrais c'est pouvoir rajouter mes filtres persos
(par ex *.c ou *.xml . ou *.toto )
J'arrive bien à le faire pour le navigateur de ressource en rajoutant des extensions dans mon plugin mais je ne vois pas comment le faire pour d'autres navigateurs.

Je ne sais pas si je suis trés clair ....