'Extensions Manager' do GNOME Shell recebe uma grande atualização
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 […]