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 <ikoro...@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 _______________________________________________ gtk-list mailing list gtk-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-list
