Perguntas sobre 'gnome-shell-extension'

As extensões do GNOME Shell são pequenos snippets que expandem a funcionalidade e os recursos do GNOME Shell. Esses snippets são escritos em JavaScript e CSS.
1
resposta

Desenvolvendo extensões do shell do gnome com o eclipse como um IDE

Gostaria de saber se algum corpo usou o suporte ao Eclipse JavaScript para desenvolver ex-gnomes. Na verdade, apontando aqui para o suporte ao contexto que está disponível no eclipse. E eu, porém, se eu pudesse adicionar todos os scripts java qu...
06.11.2012 / 17:28
1
resposta

Não existe um botão on mostrando na extensão do shell do gnome

Como habilitar a extensão do shell do gnome ?. Quando clico na extensão do shell do gnome, não há nenhum botão ON mostrando advanced settings - > %código%. Em um vídeo do youtube, vi que há um botão ON para ativar as extensões do shell....
17.11.2011 / 15:49