gtk_widget_set_margin_top

Undocumented in source.
alias gtk_widget_set_margin_top = c_gtk_widget_set_margin_top

Meta