Gtk.Widget:margin

"margin"             Number                : Read / Write

Sets all four sides' margin at once. If read, returns max margin on any side.

Since 3.0