Widget.setMarginEnd

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

class Widget
void
setMarginEnd
(
int margin
)

Parameters

margin int

the end margin

Meta

Since

3.12