gtk:widget-margin-top (object)

object -- a gtk:widget object
margin -- an integer for the margin on the top side of the widget

The accessor for the margin-top slot gets or sets the top margin of widget. 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.