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