Você está usando a versão de teste do gnome3 (ppa: ricotz / testing) que geralmente não é compatível com extensões. Para fazer o downgrade para o gnome 3.6, você terá que limpar o ppa ricotz / testing com sudo ppa-purge ppa:ricotz/testing
. Então você terá que reinstalar o shell do gnome a partir do repositório padrão do gnome3 (ppa: gnome3-team / gnome3). Observe que, no momento, o conteúdo desses dois repositórios é aproximadamente o mesmo que o gnome 3.6 saiu há menos de um mês.