Widget.setMarginRight

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

More...
class Widget
void
setMarginRight
(
int margin
)

Parameters

margin int

the right margin

Detailed Description

Deprecated: Use gtk_widget_set_margin_end() instead.

Meta