gtk:widget-margin-end (object)

object -- a gtk:widget object
margin -- an integer for the margin on the end side of the widget, horizontally

The accessor for the margin-end slot gets or sets the value of the end margin of the widget. This property supports left-to-right text directions. This property adds margin outside of the normal size request of the widget. The margin will be added in addition to the size from the gtk:widget-size-request function for example.