Property
GtkWidget:margin-left
deprecated: 3.12 since: 3.0
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 value | 0 |
| Getter method | gtk_widget_get_margin_left() |
| Setter method | gtk_widget_set_margin_left() |