I beat you by two years. I've fixed a 14-year-old one from 2002, bug 80125.
After a month or two thinking I could get it included and move on, I have now given up chasing it. Only Bastien stepped forward to triage it and make it ready for review, but his technical remarks were largely limited to syntactic issues and how many patch files it should be split into. At worst, we can wait for the next bug day, when there will more collective impetus to close issues, for which these items are low-hanging fruit. Best wishes M _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-devel-list