Re: margin documentation

["Jasper St. Pierre" <jstpierre mecheye net>]

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 gmail com> wrote:
> Hi,
> In the https://developer.gnome.org/gtk3/stable/GtkWidget.html#GtkWidget--margin-xxx
> it says :
>
> [quote]
> Allowed values: [0,32767]
> [/quote]
>
> 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 gnome org
> https://mail.gnome.org/mailman/listinfo/gtk-list



-- 
  Jasper