Same problem here, although I'm not sure what "switching to the default Gnome theme" would entail. I note that downgrading libgtk-3-0 and libgtk-3-common to 3.2.3-1 makes the problem go away.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
