Je veux cacher le panneau du bas pour pouvoir le montrer à nouveau quand je veux. Dans le menu propriétés du panneau, il existe une option pour masquer mais ne pas masquer totalement.
La raison pour laquelle j'en ai besoin, c'est parce que j'utilise le panneau Docky et qu'il se trouve maintenant derrière le panneau inférieur et a l'air horrible.
Ce que je fais en ce moment, c'est que je le supprime totalement en faisant un clic droit sur le panneau. Et le seul moyen que je connaisse pour le renvoyer consiste à exécuter la commande suivante dans le terminal.
rm -r ~/.gconf/apps/panel
Toute autre solution?
Vous pouvez activer les boutons pour masquer le panneau quand vous le souhaitez - si vous ne souhaitez pas le supprimer complètement:
→
Pour ce faire, cliquez avec le bouton droit sur le panneau, sélectionnez Propriétés et cochez la case Afficher les boutons masquer
Utilisez-vous peut-être une ancienne version d'Ubuntu? J'ai écrit un correctif Gnome il y a longtemps, qui modifiait la taille de masquage automatique standard à 0/1 pixel. Au moins les deux dernières versions de Gnome devraient être livrées avec ce correctif.
Bien sûr, vous pouvez aussi le changer manuellement:
gconf-editor
. Si vous ne l'avez pas, installez-le./apps/panel/toplevels/bottom_panel_screen0
auto_hide_size
par 0 ou 1.Voici le meilleur moyen de masquer le panneau gnome:
name=gnome-panel
dans le champ widget windows
Ceci fait, vous ne verrez les panneaux de gnome que lorsque vous affichez le calque du widget. la clé par défaut pour cela est F9
gconf-editor
Je recommande simplement de retirer le panneau inférieur. Docky reproduit toutes les fonctionnalités du panneau inférieur, de sorte que vous n'en avez pas besoin.