Method

GtkWidgetset_margin_top

since: 3.0

Declaration [src] 

void
gtk_widget_set_margin_top (
  GtkWidget* widget,
  gint margin
)

Description [src]

Sets the top margin of widget. See the GtkWidget:margin-top property.

Available since: 3.0

Sets propertyGtk.Widget:margin-top

Parameters

margin

Type: gint

The top margin.