Widget.setMarginTop

void setMarginTop(int margin)

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

Parameters

marginthe top margin