GNOME Bugzilla – Bug 327202
GtkButton::child-spacing style property
Last modified: 2011-02-04 16:10:23 UTC
Attached patch turns the hardcoded CHILD_SPACING define into a configurable style property. It's used in maemo-gtk and it IMHO absolutely makes sense on high-dpi displays.
Created attachment 57470 [details] [review] Patch implementing the above
Makes sense to me. It needs a "Since: 2.10". For that you need to add an explicit doc comment for the property (see gtktoolbar.c for examples). And I'd prefer to remove the CHILD_SPACING define and just put the value in the paramspec constructor.
Created attachment 57471 [details] [review] There we go
Looks fine, go ahead.
Fixed in CVS: 2006-01-16 Michael Natterer <mitch@imendio.com> * gtk/gtkbutton.c: applied patch from maemo-gtk which adds a child-spacing style property. Fixes bug #327202.
this has now been changed to make use of GtkBorder instead: 2006-01-17 Michael Natterer <mitch@imendio.com> * gtk/gtkbutton.c: remove the "child-spacing" style property again and add "inner-border" instead. That's far more flexible and "child-spacing" was a bad name anyway.