Thanks for the bug report, I took the decision upstream: http://bugs.gnome.org/show_bug.cgi?id=317229
Thanks for the bug report, I took the decision upstream: http:// bugs.gnome. org/show_ bug.cgi? id=317229