Pages : 1
#1 Le 11/02/2014, à 14:35
- lamnair
[résolu] mettre option gnome shell autohide top panel
Bonjour,
depuis une mise à jour, la barre de navigation de gnôme shell reste fixe et ne se cache plus automatiquement.
Ce qui est très gênant car en lançant d'autres programmes, je ne peut pas voir le haut du programme qui est caché derrière la barre de navigation.
Je suis sous ubuntu 12.04
je cherche à mettre option gnome shell autohide top panel.
Comment je pourrais l'atteindre ?
Dernière modification par lamnair (Le 11/02/2014, à 16:22)
Hors ligne
#2 Le 11/02/2014, à 16:21
- lamnair
Re : [résolu] mettre option gnome shell autohide top panel
C'est bon j'ai installé
gnome shell extension : panel setting.
Il s'affiche dans le menu en haut à gauche.
J'ai ouvert panel setting et j'ai coché autohide.
La barre de menu en haut se cache.
Hors ligne
Pages : 1