Widget.getMarginRight

int getMarginRight()

Gets the value of the #GtkWidget:margin-right property.

Returns

The right margin of widget

Deprecated

Use gtk.widget.Widget.getMarginEnd instead.