Re: Style and Spacing (and Themes, but only in the end)

[robert havoc pennington <rhpennin midway uchicago edu>]

On Fri, 22 May 1998, Juergen A. Erhard wrote:
> 
> Seriously: A while back, there was some discussion on how to make
> widget spacings uniform.  You know, the WIDTH in
> gtk_container_border_width(CONTAINER, WIDTH).
> 
> Now, I haven't seen anything on this in a while... has there been some
> decision or something?  Maybe in GNOME? (that's the reason for the
> crosspost)
> 

Gnome has some defines for this, GNOME_PAD, GNOME_PAD_SMALL,
GNOME_PAD_LARGE. But a better mechanism could be devised.

Havoc Pennington ==== http://pobox.com/~hp