Method

GtkWidgetset_margin_top

Declaration [src] 

void
gtk_widget_set_margin_top (
  GtkWidget* widget,
  int margin
)

Description [src]

Sets the top margin of the widget.

Sets propertyGtk.Widget:margin-top

Parameters

margin

Type: int

The top margin.