c_gtk_widget_set_margin_top

extern (C) __gshared
void function(GtkWidget* widget, int margin) c_gtk_widget_set_margin_top;