Widget.setMarginBottom

void setMarginBottom(int margin)

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

Parameters

marginthe bottom margin