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.