Ok. Resolvido o problema.
O problema veio de libgtk-3-0 . Uma versão mais nova (3.6.2) que a do arquivo quantal (3.6.0-0ubuntu3.2) ainda era mantida no sistema.
Na verdade, o PDA do GNOME3 limpando quando eu fiz isso pela primeira vez, não foi executado corretamente devido a um bug no pacote ppa-purge nos arquivos oficiais quantais (bug multi-arch). Então eu:
- instalou uma nova versão do ppa-purge que corrigiu o bug.
- adicionou novamente o PDA do GNOME3:
sudo apt-add-repository ppa:gnome3-team/gnome3
. - executou novamente o ppa-purge:
sudo ppa-purge ppa:gnome3-team/gnome3
Ele rebaixou todos os pacotes instalados do GNOME3 PPA para os arquivos oficiais quantais.
- Um logout foi necessário para que as alterações entrassem em vigor.