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