Gets the value of the #GtkWidget:margin-left property.
Deprecated: Use gtk_widget_get_margin_start() instead.
Return: The left margin of @widget
3.0
See Implementation
Gets the value of the #GtkWidget:margin-left property.