Comment masquer le panneau GNOME 3?

22

Existe-t-il une possibilité de masquer automatiquement le Panel dans la session GNOME? Dans l'image ci-dessous, j'ai sélectionné la zone que je veux dire.

panel gnome-shell autohide

— FieryCod
source

3

Je ne pense pas que ce soit possible. Mais utiliser compizconfig-settings-managercomme décrit ici est peut-être une option.

— Dimitri Podborski

3

@incBrain GNOME et compiz sont des choses complètement différentes.

— AB

27

Utiliser l' extension GNOME appelée Hide Top Bar .

Configurez l'extension dans votre Firefox ou avec Tweak Tool

— UN B
source

Si vous ne savez pas exactement où trouver l' outil ci-dessus, c'est sous Extensions: i.stack.imgur.com/tB1Fa.png

— bgoodr

Avertissement: le panneau latéral s'affiche également, ce qui est également quelque chose dont vous pourriez avoir besoin. Vous pouvez également contrôler cela à partir de l'outil Tweak en bas: i.stack.imgur.com/IKdh5.png

— bgoodr

17

J'ai pu obtenir le comportement que vous souhaitez de la manière suivante dans mon Ubuntu 18.04.

Dash installé à Panel GNOME Shell Extension.
Pour l'installer, recherchez simplement «Dash to Panel» dans le logiciel Ubuntu.
Une fois installé, cliquez avec le bouton droit sur le bouton "Afficher les applications" dans la barre des tâches et cliquez sur "Paramètres Dash to Panel".
J'ai choisi Panel Intellihide "On".
Vous pouvez modifier plus de paramètres en cliquant sur le "bouton Paramètres" adjacent à Intellihide