WidgetGidBuilderImpl.margin

T margin(int propval)

Convenience 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.

Returns

Builder instance for fluent chaining