On Thursday 19 February 2015 09:58:59 Andy Pastuszak wrote: > I made an enhancement request for this today. If anyone thinks this > is a good idea, please see: > > https://bugzilla.gnome.org/show_bug.cgi?id=744790 > > Andy Thanks for creating the enhancement request in bugzila. In the mailing list such requests easily get lost. Geert