Gnome Tweak Tool é uma ferramenta de personalização avançada pro ambiente GNOME 3.
Ele permite mudar temas, fontes, funcionalidades do desktop, habilitar/desabilitar extensões e muito mais. Agora ele esta na versão 3.6. Divirta-se.
Abra o terminal (Ctrl + Alt + T) e digite os comandos abaixo:
sudo apt-get install gnome-tweak-tool