Marc Meledandri Tue, 18 Dec 2012 13:06:17 -0800
I asked upstream if this would be fixed in gtk 3.4.x and the answer is no. Any chance of Debian Gnome maintainers backporting the fix? It's a pretty glaring usability issue under current Wheezy with gnome 3.4.2-2.
Thanks.