I have reported the bug to the Gnome developers. You can follow the bug there at https://bugzilla.gnome.org/show_bug.cgi?id=602591
I have reported the bug to the Gnome developers. You can follow the bug there at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 602591