Re: margin documentation
- Date: Sun, 16 Aug 2015 14:43:55 -0700
- From: "Jasper St. Pierre" <jstpierre@xxxxxxxxxxx>
- Subject: Re: margin documentation
The margin is a set of extra pixels added around the edge of the
widget. How many pixels are added is decided by this property. I
suggest you simply try setting random values and see what happens.
On Sun, Aug 16, 2015 at 2:42 PM, Igor Korot <ikorot01@xxxxxxxxx> wrote:
> In the https://developer.gnome.org/gtk3/stable/GtkWidget.html#GtkWidget--margin-xxx
> it says :
> Allowed values: [0,32767]
> However, it does not explain which value correspond to what alignment.
> Does 0 mean the widget should be expanded to fill the space allocated
> or its used to be a minimal
> allocated size?
> Thank you.
> gtk-list mailing list
gtk-list mailing list