J'arrive bien a mettre à jour les filtres du "navigateur de ressources"
avec l'extension ....ui.ide.resourceFilters.
Est t il possible de faire la même chose pour le "navigateur de projet" et
le "navigateur de packages" ?

Michel