Hi, I have posted the patch as an enhancement:
https://bugzilla.gnome.org/show_bug.cgi?id=725558 Regards, Mika Heiskanen _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
