It's a good idea! Filed a bug: http://bugzilla.gnome.org/show_bug.cgi?id=118685 I'll see what could be done tonight. Thanks! Aleksey