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.
int getMarginLeft()Gets the value of the #GtkWidget:margin-left property.