Panel Settings: Spostare in basso il pannello di Gnome Shell e attivarne l'autohide con un click
Panel Settings è una nuova estensione per Gnome Shell, la quale ci permette di personalizzare il pannello di Gnome Shell sia nella posizione che nella visibilità.
Grazie a Panel Settings potremo nascondere automaticamente il pannello oppure renderlo disponibile solo nella panoramica delle attività, il tutto con un semplice click. Inoltre possiamo anche spostare il pannello nella parte inferiore del desktop ed avere le stesse modalità sopra descritte.
Panel Settings supporta Gnome 3.4 ed una volta installato, troveremo una nuova sezione nel menu utente: basta un click su Panel Settings per accedere alle varie preferenze.
Se il pannello viene spostato nella parte bassa del desktop non avremo l’hot corner attivato, e per accedere alla panoramica delle attività dovremo cliccare sul tasto Attività del pannello.
Installare Panel Settings su Gnome Shell è semplicissimo: basta collegarci a questa pagina, cliccare su On e confermare. Testato su Fedora 17 e Ubuntu 12.04.