Gnome panel : masquer réellement un tableau de bord 12/09/2009
Le masquage automatique des tableaux de bords (barres de menu) dans Gnome est par défaut incomplet. Le haut des icônes dépasse au bord de l'écran de manière indésirable. Ce n'est pas un drame, mais ce n'est pas très agréable à l'oeil !
Ce n'est qu'une question de réglage :
C'est évidemment dans GConf que ça ce passe. On lance donc gconf-editor via un terminal ou menu gnome "Applications > Outils système > Editeur de configuration".
Vous trouverez sous apps/panel/top level les clés correspondant à vos tableaux de bord (genre panel_1, top_panel_screen0, ...).
On a plus qu'à changer la valeur auto_hide_size pour la passer à 0. Par la même occasion on peut aussi jouer sur les clés hide_delay et unhide_delay pour faire disparaître et réapparaître notre tableau de bord plus rapidement.