On Monday 28 December 2015 18:27:34 Jose Gómez wrote: > Thanks. Just reported this as > https://bugzilla.gnome.org/show_bug.cgi?id=759934 > > Regards, > Jose. > Thank you. Geert