gtk:widget-margin-bottom (object)

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

The accessor for the margin-bottom slot of the gtk:widget class gets or sets the bottom marging of the 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.