Widget.margin

Convenience property to set marginStart, marginEnd, marginTop, and marginBottom.

class Widget
@property
void
margin
()

Parameters

propval int

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.