Enviado em 25/11/2020 - 17:51h
Não uso o Gnome, mas tava entediado e resolvi testar essa bagaça pra ver se melhorou alguma coisa. Vou instalar o Fedora, pois acredito que vem o Gnome original, sem alterações, né! MAS, já sei que tem coisa que não gosto, por exemplo a "barra de título" da janela "muito larga" (desperdício de espaço de tela) em apps não nativos do Gnome - portanto, queria saber qual a melhor extensão para resolver isso! Entre outras extensões para melhorar a produtividade/usabilidade do DE. Sugestões, por favor...