'Extensions Manager' do GNOME Shell recebe uma grande atualização

GNOME aprimora screencasting por GPU e criptografia systemd-homed
Lançado o Release Candidate do GNOME 42 com caixa de diálogo de impressão digital no centro de controle

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):

‘Extensions Manager’ do GNOME Shell recebe uma grande atualização. Imagem: OMG Ubuntu.

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:

Filtros de pesquisa. ‘Extensions Manager’ do GNOME Shell recebe uma grande atualização. Imagem: OMG Ubuntu.

As extensões não suportadas agora são marcadas nos resultados da pesquisa, em vez de ocultas:

Resultados de pesquisa informativos. ‘Extensions Manager’ do GNOME Shell recebe uma grande atualização. Imagem: OMG Ubuntu.

E o grande: agora você pode ver capturas de tela de extensão dentro do aplicativo:

As capturas de tela agora estão aqui. ‘Extensions Manager’ do GNOME Shell recebe uma grande atualização. Imagem: OMG Ubuntu.

Há também uma pitada de mais detalhes nas páginas de listagem:

‘Extensions Manager’ do GNOME Shell recebe uma grande atualização. Imagem: OMG Ubuntu.

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 .