gtk:widget-margin (object)

object -- a gtk:widget object
margin -- an integer with the margin

Accessor of the margin slot of the gtk:widget class. Sets the margin of all four sides at once. If read, returns the maximum margin on any side.