Comment masquer la barre supérieure dans Gnome 3.28 Ubuntu 18.04?
Comment installer l'extension hide-top-bar?
gnome-shell
gnome-shell-extension
gnome-tweak-tool
top-bar
philoopher97
la source
la source
Pour référence, installez gnome-tweaks et exécutez:
Puis déconnectez-vous et reconnectez-vous. L'option de masquer automatiquement la barre supérieure sera disponible à partir de l'outil gnome-tweaks dans la section des extensions.
la source
J'avais le même problème à propos de la suppression de la barre supérieure. Ce que je fais est de pirater le thème CSS et de le modifier à la place.
Editez /usr/share/gnome-shell/theme/ubuntu.css, ajoutez en bas
La barre du haut est là, mais ne sera pas visible et ne pourra pas interagir avec l'utilisateur.
la source
La méthode la plus simple et la plus efficace que j'ai trouvée consiste à installer l'extension Dash-to-Panel GNOME. Fonctionne comme un charme.
Dash to Panel Extension
Vous pouvez le basculer depuis le navigateur lui-même.
la source
Re: Éditez /usr/share/gnome-shell/theme/ubuntu.css, ajoutez en bas:
"La barre du haut est là, mais ne sera pas visible et ne pourra pas interagir avec l'utilisateur."
D'après mon expérience de 18.04, après avoir effectué ce changement, la barre supérieure disparaît, mais reste allumée en orange lorsque la souris pointe sur une zone active en haut de l'écran. Si vous cliquez avec le bouton gauche de la souris, obtenir la liste déroulante comme d'habitude.
la source