Gets the value of the #GtkWidget:margin-left property.
The left margin of widget
Deprecated: Use gtk.widget.Widget.getMarginStart instead.
Gets the value of the #GtkWidget:margin-left property.