I tried setting it using dconf-editor and failed.
if you like you could use the gnome-tweak-tool, you may find it easier in the future for changing themes in gnome3, a very handy app
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
3 years ago