walterw (11-07-2013, 15:48) escreveu:Caro, Claudio N., bom dia, mais uma vez muito obrigado pela ajuda.
Não entendo muito inglês, mas me parece que no site bug report não encontraram a solução, correto?
Meu gnome shell é GNOME Shell 3.8.2
instalei via terminal, não adicionei nenhum PPA.
A extensão foi esta que você colou aí.
Desconheço este bug, sempre digo que existem bugs específicos da distribuição
e o Ubuntu (Mesmo o Gnome Remix) está repleto deles, pois eles de alguma forma querem
fazer um gnome Frankestein, misturando pacotes sem necessidade.
Verifique se as teclas de atalho funcionam no modo overview, verá que isto também seria considerado com um bug, mas em outras distros funcionam perfeitamente, quanto ao menu
sugiro que verifique se a extensão não está duplicada no sistema.
.loca/share/gnome-shell/extensions
/usr/share/gnome-shell/extensions
Caso exista nos 2 locais, remova a do seu /home pois esta extensão é uma das que são instaladas por padrão pelo pacote gnome-shell-extensions.
Qual a sua versão do Ubuntu que vem com gnome-shell 3.8.2 sem ser atraves de ppa?
pacote oficial disponível para ubuntu somente versão 3.6*.
http://packages.ubuntu.com/search?keywo ... ection=all