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.

Reply via email to