Cette question a déjà des réponses ici :Comment masquer le panneau GNOME 3 ?
(3 réponses)
Fermé il y a 3 ans.
(3 réponses)
Fermé il y a 3 ans.
Je sais qu'Ubuntu 17.10 est sorti il y a seulement quelques jours, mais quelqu'un a-t-il trouvé comment masquer automatiquement le panneau supérieur comme le dock se cache automatiquement lorsque les applications sont en plein écran.
J'ai suivi plusieurs tutoriels en ligne, mais aucun n'a fonctionné.
Réponse acceptée :
Vous recherchez le "Masquer la barre supérieure 'Extension du shell Gnome.
https://extensions.gnome.org/extension/545/hide-top-bar/