Windows Buttons Extension disponible pour Gnome Shell 3.4.

Plop les bovins.


Windows Buttons Extension est comme son nom l’indique, une petite « extension » sympathique qui va vous permettre d’ajouter les boutons de gestion des fenêtre sur le « top panel » de Gnome Shell (voir photo). Cela va vous permettre de minimiser, maximiser et fermer vos fenêtres très rapidement. 
Cette extension prend en charge les 5 thèmes suivants Ambiance, Radiance, Zukitwo, Zukitwo Dark.

Si vous voulez installer cette extension il suffit d’utiliser le PPA webupd8.org en entrant ces quelques lignes dans votre terminal.

sudo add-apt-repository ppa:webupd8team/gnome3 

sudo apt-get update && sudo apt-get install gnome-shell-extension-window-buttons

Une fois l’installation effectuée il suffit de relancer Gnome et d’activer cette option avec Gnome Tweak Tool pour afficher les boutons dans le panel.
Amusez vous bien.
Moo !!!