Widget.marginRight

int marginRight() @property

Get marginRight property.

Returns

Margin on right 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.

Deprecated

Use #GtkWidget:margin-end instead.

void marginRight(int propval) @property

Set marginRight property.

Parameters

propval Margin on right 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.

Deprecated

Use #GtkWidget:margin-end instead.