Re: padding cleanup
- From: Havoc Pennington <hp pobox com>
- To: Thomas Wood <thos gnome org>
- Cc: gtk-devel-list <gtk-devel-list gnome org>
- Subject: Re: padding cleanup
- Date: Tue, 7 Sep 2010 09:41:26 -0400
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 ;-)
Havoc
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]