For the record, I've tried installing gnome-tweak-tool 3.6.1-1 from experimental on a debian wheezy system and could not reproduce the reported problem.
-- Andreas Henriksson -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
