Property

GtkWidget:margin-right

deprecated: 3.12 since: 3.0

Declaration

property margin-right: int [ read, write ]

Description [src]

Margin on right 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-end instead.

Default value0
Getter methodgtk_widget_get_margin_right()
Setter methodgtk_widget_set_margin_right()

Flags

Readableyes
Writableyes
Constructno
Construct onlyno