J’aime bien masquer automatiquement mes barres d’application dans GNOME. Seulement voilà, elles ne sont pas tout à fait masquées. Il en reste quelques pixels, qui gênent par la même occasion les applications qui veulent se mettre en plein écran (hormis Firefox 3 quand on appuie sur F11, ça c’est une fonction que j’attendais).

Heureusement, je suis tombé par le plus grand des hasards sur ce billet, qui m’a permis de mettre fin à tout çà.

Rien de compliqué, il suffit d’aller modifier une propriété (enfin une pour chaque barre, si comme moi vous en avez 2, … des barres) dans gconf-manager

Donc on tape dans un terminal

sudo gconf-editor

Et on va chercher ensuite dans apps/panel/default-setup/toplevels/top_panel_screen0/auto_hide_size. Puis, vous cliquez droit sur auto_hide_size et vous modifiez la clé de cette entrée pour remplacer la valeur existante par 1 (et surtout pas 0, sinon bye bye la barre).

Si votre barre du bas est aussi concernée (on vient de faire celle du haut pour ceux qui ne suivent pas), c’est l’entrée bottom_panel_screen0 qu’il faut modifier de la même manière.

Voilà une astuce qui me sera utile sur tous mes postes, eeepc en tête.