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.