Comment masquer le panneau inférieur dans GNOME?

8

Je souhaite masquer le panneau inférieur afin de pouvoir l'afficher à nouveau lorsque je le souhaite. Dans le menu des propriétés du panneau, il y a une option pour Masquer automatiquement mais pas masquer totalement.

La raison pour laquelle j'en ai besoin, c'est parce que j'utilise le panneau Docky et qu'il est maintenant derrière le panneau inférieur et qu'il 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 est d'exécuter la commande suivante dans le terminal.

rm -r ~/.gconf/apps/panel

D'autres solutions?

10.10 gnome-panel Bakhtiyor
la source
1
Si vous l'avez supprimé, vous pouvez l'ajouter à nouveau en cliquant avec le bouton droit sur le panneau supérieur et en cliquant sur nouveau panneau. Vous pouvez ensuite ajouter à nouveau les applets de votre choix dans le panneau inférieur. Fastidieux, mais au moins ça fait l'affaire.
RolandiXor

Réponses:

10

Vous pouvez activer les boutons pour masquer le panneau quand vous le souhaitez - si vous ne voulez pas supprimer le panneau complètement:

→

Pour ce faire, cliquez avec le bouton droit sur le panneau, sélectionnez Propriétés  et cochez Afficher les boutons de masquage

Stefano Palazzo
la source
Il ne cherche pas le bouton masquer, mais comment réduire la taille d'un panneau masqué automatiquement.
soc
Êtes-vous sûr de cela? Il écrit: "... pour que je puisse le montrer à nouveau quand je veux".
Stefano Palazzo
"... il y a une option pour Autohide mais ne se cache pas du tout." À mon humble avis et afaik, cela fait référence aux 6 pixels qui restent à afficher (dans les anciennes versions de Gnome) même si le panneau est masqué automatiquement.
soc
4

Utilisez-vous peut-être une ancienne version d'Ubuntu? J'ai écrit un correctif Gnome il y a longtemps, qui a changé la taille de masquage automatique standard en 0/1 pixel. Au moins les deux dernières versions de Gnome devraient être livrées avec ce patch.

Bien sûr, vous pouvez également le modifier manuellement:

  • Ouvrez l'application gconf-editor. Si vous ne l'avez pas, installez-le.
  • Aller à /apps/panel/toplevels/bottom_panel_screen0
  • Remplacez la valeur auto_hide_sizepar 0 ou 1.
soc
la source
1

Voici la meilleure façon de masquer le panneau gnome:

  1. Installer compiz et ccsm
  2. Ouvrez ccsm et activez la fonction "couche de widget"
  3. Dans les options de la couche widget, allez dans l'onglet "comportement"
  4. Ajoutez la ligne name=gnome-paneldans le champwidget windows
  5. Fermer ccsm

Une fois cela fait, vous ne verrez les panneaux gnome que lorsque vous afficherez la couche widget. la clé par défaut estF9

Jasir
la source
0

Je recommande simplement de retirer le panneau inférieur. Docky reproduit toutes les fonctionnalités du panneau inférieur, vous n'en avez donc pas besoin.

user4124
la source
0
  1. Alt+F2
  2. Type gconf-editor
  3. Accédez à apps / panel / toplevels / panel_1 / monitor
  4. Définissez la valeur sur -6
  5. terminer
NN
la source