Eu tenho o Debian Stretch com o Gnome 3.22 e algo estranho aconteceu comigo. Wehn Eu estava aprimorando temas e tamanhos de fonte em "GNOME Tweak Tool", meu ícone de configurações de janela ficou muito grande e a textura aparece separada do widget (botão) abaixo dele.
Alguém encontrou problema semelhante? Como faço para corrigir isso?
Tags debian gnome-shell gnome3