On Fri, Sep 3, 2010 at 1:30 AM, Havoc Pennington <h...@pobox.com> wrote: > > Oops. I just put one in bugzilla ;-) I should have worked on the > widget padding today I guess. > > https://bugzilla.gnome.org/show_bug.cgi?id=491507
You patch is much better than mine. _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
