O Extensions Manager do GNOME Shell acaba de receber uma grande atualização, mesmo tendo praticamente acabado de estrear oficialmente. Assim, ele já traz muitas atualizações importantes e recursos que os usuários solicitaram.
Para quem ainda não sabe do que está se falando, o Extension Manager é um aplicativo de desktop que permite pesquisar, navegar, gerenciar e instalar extensões do GNOME. Tudo isso pode ser feito sem precisar usar um navegador da web. O aplicativo tem seu desenvolvimento em GTK4 e libadwaita. Além disso, está disponível para instalação no Flathub.
‘Extensions Manager’ do GNOME Shell recebe uma grande atualização. Imagem: OMG Ubuntu.
Então, nesta primeira grande atualização de recursos, a ferramenta adiciona praticamente tudo o que as pessoas sugeriram. isso inclui uma alternância de ativação w desativação global (assim como a ferramenta oficial Extensions Prefs ) e separação clara de extensões instaladas pelo usuário e extensões instaladas pelo sistema (tudo em ordem alfabética):
Além disso, existem novos filtros para classificar os resultados da pesquisa com base em popularidade, recência, downloads ou nome – as mesmas opções disponíveis no site principal do GNOME Extensions:
As extensões não suportadas agora são marcadas nos resultados da pesquisa, em vez de ocultas:
E o grande: agora você pode ver capturas de tela de extensão dentro do aplicativo:
Há também uma pitada de mais detalhes nas páginas de listagem:
Além disso, Extension Manager 0.2 adiciona suporte para o modo escuro (manual ou automático, sendo este último baseado no novo padrão de desktop gratuito), e o desenvolvedor procurou melhorar o desempenho geral e a estabilidade da ferramenta.
Extension Manager 0.2.1 em resumo:
- Tema escuro e suporte para substituir o esquema de cores do sistema
- Mostra capturas de tela nas listagens de extensões
- Verificação de compatibilidade da versão do shell
- Classificar resultados de pesquisa
- Ativar/desativar extensão global
- Exibe as extensões do usuário e do sistema separadamente
- Desempenho e estabilidade
O Extension Manager é um software de código aberto gratuito com código-fonte no GitHub . O desenvolvedor do aplicativo recomenda que os usuários instalem o Extension Manager do Flathub , embora a ferramenta esteja disponível por outras vias, como o AUR .
