Widget.margin
void margin(int propval) @propertyConvenience property to set marginStart, marginEnd, marginTop, and marginBottom.
Parameters
propval | Margin for all 4 sides of the widget. This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from [gtk.widget.Widget.setSizeRequest] for example. |