Widget.setMarginTop

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

class Widget
void
setMarginTop
(
int margin
)

Parameters

margin int

the top margin

Meta