Estou usando o ubuntu 19.04 e venho sentindo falta daquelas bordinhas arredondadas que a barra superior forma quando uma janela está maximizada.
Tentei fazer algumas alterações no gnome-shell.css, mas nada aconteceu
Também não encontrei uma extensão que fizesse isso por mim.
Quem puder me ajudar ganha um cookie imaginário e minha eterna gratidão