Property
GtkWidget:margin-top
Description [src]
Margin on top side of widget.
This property adds margin outside of the widget’s normal size request, the margin will be added in addition to the size from gtk_widget_set_size_request() for example.
| Type: | gint | 
| Getter method | gtk_widget_get_margin_top | 
| Setter method | gtk_widget_set_margin_top |