Property

GtkWidget:margin-left

deprecated: 3.12 since: 3.0

Declaration

property margin-left: int [ read, write ]

Description [src]

Margin on left 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

Deprecated since: 3.12

Use GtkWidget:margin-start instead.

Default value0
Getter methodgtk_widget_get_margin_left()
Setter methodgtk_widget_set_margin_left()

Flags

Readableyes
Writableyes
Constructno
Construct onlyno