Ubuntu 13.10 + Gnome 3.10, falta de alguns menus

Question

Eu acabei de instalar o Gnome 3.10 (eu sei - é experimental) e tudo está funcionando muito bem, exceto por alguns menus parecem não ter preenchimento à esquerda, fazendo com que o texto ficasse no limite.

Alguém sabe de uma solução para esse problema? Estou usando o Zukwito dos repositórios do webupd8.

    

Answer 1

Como acontece, as instruções do webupd8 estão incompletas e eu ainda estava no gnome 3.8. Tentei novamente usando as instruções fornecidas aqui: link

Isso resolveu meu problema.