Method

GtkWidgetset_margin_right

deprecated: 3.12 since: 3.0

Declaration [src] 

void
gtk_widget_set_margin_right (
  GtkWidget* widget,
  gint margin
)

Description [src]

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

Available since: 3.0

Deprecated since: 3.12

Use gtk_widget_set_margin_end() instead.

Sets propertyGtk.Widget:margin-right

Parameters

margin

Type: gint

The right margin.