eiffel_g : barre des taches -> propriétés -> onglet "barre des taches" -> bouton "personnaliser", et tu choisis "toujours masquer"...
Je pense que ce sera tout aussi efficace