Extensão Gnome Shell para o menu de configurações
