Gtk.Widget:margin-right

"margin-right"             Number                : Read / Write

Margin on right side of widget.

This property adds margin outside of the widget's normal size request, the margin will be added in addition to the size from Gtk.Widget.prototype.set_size_request for example.

Since 3.0