Changer le look de la autohide panel Gnome

Par défaut, les panneaux sont fixés en place sur l'écran. Dans le panneau de propriétés, vous pouvez sélectionner l'auto-hide, si le panneau est caché jusqu'à ce que le curseur de la souris s'en approche. Toutefois, il ne reste pas complètement cachée, mais elle est un morceau du panneau. Cela me gênait beaucoup, je n'ai jamais aimé, et n'aurait jamais pensé qu'il existe un moyen simple de changer:

1. Ouvrez un terminal et exécutez la gconf-editor
2. Dans la fenêtre de l'éditeur que vous avez un arbre sur la gauche. Affiche les applications et les écrans inférieurs -> toplevels et sélectionnez le panneau sur lequel vous souhaitez effectuer le changement (si vous avez beaucoup, auront des noms différents).
3. Cliquez sur la valeur de la propriété auto_hide_size de le modifier et le rendre 0 pour complètement cachée.

Vous pouvez également modifier les valeurs des hide_delay (temps écoulé depuis le curseur quitte le groupe et il est caché) et unhide_delay (temps écoulé depuis quand le curseur atteint le panneau et qui sont affichées). Les deux sont exprimés en millisecondes.