[Solucionado] Bordas arredondadas no topo

[agente100gelo]

Instalei o tema Orchis que tem janelas bem arredondadas conforme se pode ver no endereço https://www.gnome-look.org/p/1357889/

Todavia, as bordas superiores ficaram sem arredondamento conforme imagem aqui: https://imgur.com/a/1d2WkmL

Uma vez eu já mexi em algumas configurações padrões do gnome. Talvez seja isso porque em outra conta do Ubuntu o tema funciona perfeitamente.

[agente100gelo]

Consegui. Fica pra registro o comando que reseta todas as configurações do Gnome.

Código: [Selecionar]

dconf reset -f /org/gnome/