Acaba de ser liberado o Gnome Shell 3.7.2 com várias correções de bugs, mais de 20 novos efeitos visuais, está mais ágil e com uma significativa nova funcionalidade: suporta configurações de provedores remotos de pesquisa. Praticamente quase todos os pequenos aspectos do Gnome Shell receberam alguma alteração ou polimento, o que o torna a melhor de todas as versões até aqui. Mas as melhorias mais notáveis ficam por conta da busca integrada e da filtragem nas notificações. Todas essas mudanças foram realizadas a nível de aplicação de patches no GCC e podem ser verificadas no vídeo abaixo.
Confira a lista completa das melhorias para essa versão World of Gnome. Aguardem o Gnome Shell 3.8 em breve!
