API Version: 4.0
Library Version: 4.7.0
void gtk_widget_set_margin_top ( GtkWidget* widget, int margin )
Sets the top margin of widget.
widget
Gtk.Widget:margin-top
margin
int
The top margin.