web analytics

GNOME Shell Window Buttons disponibile per Gnome 3.4 [Ubuntu 12.04]

GNOME Shell Window Buttons

GNOME Shell Window Buttons è un’estensione attraverso la quale potremo avere i pulsanti della finestra nel pannello di Gnome Shell.
Utile per riavere i classici tasti minimizza e massimizza di default rimossi in Gnome Shell, offre la possibilità di aumentare lo spazio disponibile per l’applicazione quando abbiamo la finestra massimizzata, rimuovendone il bordo superiore.

Di recente è arrivato il supporto per Gnome 3.4 di GNOME Shell Window Buttons, offrendo quindi la possibilità di installarlo anche su Ubuntu 12.04 Precise attraverso PPA. La nuova versione inoltre, aggiunge il supporto per cinque temi: Ambiance, Radiance, Zukitwo, Zukitwo Dark e Adwaita.

Per installare GNOME Shell Window Buttons su Ubuntu 12.04 e 11.10 basta digitare da terminale:

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extension-window-buttons

Una volta installato, basta riavviare GNOME Shell ed attivare GNOME Shell Window Buttons utilizzando GNOME Tweak Tool.
GNOME Shell Window Buttons è disponibile anche per Arch Linux attraverso AUR.

Una volta installata l’estensione avviamo il terminale e digitiamo:

sudo apt-get install dconf-tools

dconf-editor

Ed andiamo su org -> gnome -> shell -> extensions -> window-buttons; quindi impostiamo su pinch Custom e su theme il tema che stiamo utilizzando (per esempio Ambiance), come da immagine sotto.

GNOME Shell Window Buttons

onlymax, hideonnomax ci permettono di avere i pulsanti della finestra nascosti o presenti quando non ci sono finestre non massimizzate.