gtk-widget-margin-top (object)

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

Accessor of the margin-top slot of the gtk-widget class.

The gtk-widget-margin-top slot access function returns the top margin of widget. The (setf gtk-widget-margin-top) slot access 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.