gtk_widget_get_margin_left

alias gtk_widget_get_margin_left = c_gtk_widget_get_margin_left