gtk:widget-margin-top (object)

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

Accessor of the margin-top slot of the gtk:widget class. The gtk:widget-margin-top function returns the top margin of widget. The (setf gtk:widget-margin-top) function sets the top margin.

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.