gueulderack
Bonjour,
Avec gnome 3.4, j'utilisais l'extension Panel Settings qui me permettait de masquer la barre du haut. Hors, depuis gnome 3.6, cette derniere n'est plus compatible. J'ai bien essaye "Auto hide top panel", mais la barre ne reapparait pas lorsque je pointe la souris en haut.
Connaissez-vous une autre extension permettant de faire ca?
Merci
