Widget.getMarginLeft

int getMarginLeft()

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

Returns

The left margin of widget

Deprecated

Use [gtk.widget.Widget.getMarginStart] instead.