On Tue, Sep 7, 2010 at 9:41 AM, Havoc Pennington <h...@pobox.com> wrote: > Cool. So I'm inclined to search-and-replace the patch and make the properties: > > margin-left > margin-right > margin-top > margin-bottom > margin /* sets all four at once */ > > I'll give it a couple more days though in case this turns out to be > controversial so I don't do too much busywork ;-)
Sounds fine to me, fwiw. _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list