On Wed, 2010-11-03 at 09:11 +0100, Josep M. Fontana wrote: > OK, I think I can take a hint even if it is as subtle as this one. I > should file a bug report, shouldn't I? :-) There is already a bug about this, but it had a misleading title so it was hard to find: https://bugzilla.gnome.org/show_bug.cgi?id=613148