Widget.setMarginTop

void setMarginTop(int margin) nothrow

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

Parameters

marginthe top margin