There is a patch in upstream ( at http://bugzilla.gnome.org/show_bug.cgi?id=468594 ) but there's some disagreement as to whether this is a good solution to the problem. Unfortunately the Gnome UI freeze date has passed, so it's too late for 2.22.
There is a patch in upstream ( at http:// bugzilla. gnome.org/ show_bug. cgi?id= 468594 ) but there's some disagreement as to whether this is a good solution to the problem. Unfortunately the Gnome UI freeze date has passed, so it's too late for 2.22.