Bonjour la liste, Qd j'active le masquage automatique de ma barre de menu ss gnome 2.12, qqs pixels dépassent encore losqu'elle devrait avoir compètement disparu...y a t il un moyen de changer les paramètres de masquage automatique??? plus vite, moins vite...etc... Merci d'avance Tchao Giggz