Property
GtkWidget:margin-top
since: 3.0
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 |
Available since: | 3.0 |
Getter method | gtk_widget_get_margin_top() |
Setter method | gtk_widget_set_margin_top() |