se você quiser, você pode usar o gnome-tweak-tool, você pode achar mais fácil no futuro mudar de temas no gnome3, um aplicativo muito útil
Eu tentei defini-lo usando dconf-editor
e falhei.
se você quiser, você pode usar o gnome-tweak-tool, você pode achar mais fácil no futuro mudar de temas no gnome3, um aplicativo muito útil
Tags configuration gnome3