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 
Observe esta parte no .css basta remover o comentário início e fim /border:1px solid blbblabla/ (o asterisco não aparece aqui)alí em border-radius determina quais cantos serão arredondados definidos em 6px. a opção 0 ali equivale aos cantos retos e o 6 aos cantos arrendondados.
/Ative esta opçao caso queira o painel com bordas arredondadas/
/* border: 1px solid #9f9f9f;*/
border-radius: 0px 0px 6px 6px;
border-top: 0px;
border-left: 0px;
border-right: 0px;
}
fucei um pouco aqui e consegui! hahah obrigado!
Que bom, pois eu postei os cantos errados kkkkkk, esse css era de outra alteração com o arredondado para cima.
