Property

GtkWidget:margin-end

Declaration

property margin-end: int [ read, write ]

Description [src]

Margin on end of widget, horizontally.

This property supports left-to-right and right-to-left text directions.

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

Default value0
Getter methodgtk_widget_get_margin_end()
Setter methodgtk_widget_set_margin_end()

Flags

Readableyes
Writableyes
Constructno
Construct onlyno