Hi Reinout, On Wed, Oct 24, 2012 at 6:05 PM, Reinout van Schouwen <reinout at gmail.com> wrote: > Please, feel free to file the bug in bugzilla.gnome.org if you haven't > done so already! I will on the weekend, but it looks like this one: https://bugzilla.gnome.org/show_bug.cgi?id=686020 Mike