Method

GtkWidgetset_margin_end

since: 3.12

Declaration [src]

void
gtk_widget_set_margin_end (
  GtkWidget* widget,
  gint margin
)

Description [src]

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

Available since: 3.12

Sets propertyGtk.Widget:margin-end

Parameters

margin

Type: gint

The end margin.