Property

GtkWidget:margin-top

since: 3.0

Declaration

property margin-top: int [ read, write ]

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

Default value0
Getter methodgtk_widget_get_margin_top()
Setter methodgtk_widget_set_margin_top()

Flags

Readableyes
Writableyes
Constructno
Construct onlyno