Existe outra ferramenta que deve funcionar na primeira vez que você tentar. É chamado de Gnome Tweak Tool. Basta abrir um terminal (pressionando Ctrl + Alt + T) e digite sudo apt-get install gnome-tweak-tool
. Siga os prompts e procure-os na lista de aplicativos depois de concluir a instalação.