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 2000 – 2500.

Ecco un video dimostrativo: