Extension autohidetopbar su Debian Sid Gnome 3.0

 

 

 

 

 

Aggiunta anche l'estensione autohidetopbar, che serve a nascondere il pannello superiore quando non utilizzato. Per attivarlo/disattivarlo bisogna fare 2 click sulla barra. Sicuramente non funzionerà senza la modifica al file estension.js, portando da 1500 a 2000 il valore di const TIME_DELTA.

 

enjoy 😉

Autore: Franco Conidi aka edmond

Senior System Integrator, Network Administrator, Sys Admin Linux, Linux User, Consulente Informatico.

3 pensieri riguardo “Extension autohidetopbar su Debian Sid Gnome 3.0”

  1. sarebbe ottimo averla pure per la dock… per chi ha un netbook l’estensione dock è un fucilata!

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *