Hi, after a few months have passed, a new reminder.
In the meantime, there is a ready-to-apply git patch: https://bugzilla.gnome.org/show_bug.cgi?id=785165 Ingo _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-devel-list