Eu mudei para o GNOME Shell e usoExtensões do Shell do GNOMEpara ajustar a aparência e funcionalidade da minha distribuição.
Porém, ainda não descobri qual tecnologia é usada para instalar, habilitar e desabilitar as extensões da página web com apenas alguns cliques.
Como isso é implementado? Qualquer página da web pode fazer isso?
Responder1
Ele é implementado usando um plugin de navegador. "Integração do Gnome Shell" .
Tente desativá-lo (firefox: addons -> plugins) e ele não funciona mais.
Somente o site do gnome pode usá-lo.