Widget.marginTop

int marginTop() @property

Get marginTop property.

Returns

Margin on top side of 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.

void marginTop(int propval) @property

Set marginTop property.

Parameters

propval Margin on top side of 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.