web analytics

Gnome shell – Autohide top bar


Autohide top bar è un estensione per gnome shell realizzata da fpmurphy per permettere di nascondere in modo automatico il pannello superiore della shell di Gnome 3. L’estensione permette di attivare l’autohiding facendo doppio click nella parte superiore del pannello.
Se facendo doppio click sul pannello superiore l’autohidding non dovesse funzionare, si deve modificare il file extension.js dell’estensione stessa cambiando il valore “const TIME_DELTA“, da 1500, impostazione di default, a 20002500.
Ecco un video dimostrativo:
Per installare l’estensione, scaricare da Qui l’archivio, scompattarlo e copiare la cartella“autohidetopbar@fpmurphy.com” in esso contenuta nella nostra home in ~/.local/share/gnome-shell/extensions/ successivamente premere Alt+F2 digitare r poi invio per ricaricare la shell.
VIA | WebUpd8fpmurphy