☰

Gnome Extensions tweaks

this code opens extension pages in the new tab and changes sorting of the extensions list (extensions.gnome.org)

Versão de: 31/03/2018. Veja: a última versão.

Autor
almaceleste
Avaliações
0 0 0
Versão
0.3
Criado
21/03/2018
Atualizado
31/03/2018
Tamanho
3,89 KB
Licença
GPL-3.0+
Aplicável a

this script works on extensions.gnome.org