Ele é implementado usando um plug-in do navegador. "Integração com o Gnome Shell".
Tente desativá-lo (firefox: addons - > plugins) e ele não funciona mais.
Apenas o site do gnome pode usá-lo.
Eu mudei para o GNOME Shell, e use GNOME Shell Extensions para ajustar a aparência e a funcionalidade da minha distribuição.
No entanto, ainda não descobri qual tecnologia é usada para instalar, ativar e desativar as extensões da página da Web com apenas alguns cliques.
Como isso é implementado? Alguma página da Web pode fazer isso?
Tags gnome-shell