Gtk.Widget.set_margin_end – gtk+-3.0 Reference Manual

set_margin_end

Description:

[ Version ( since = "3.12" ) ]
public void set_margin_end (int margin)

Sets the end margin of the widget.

Parameters:

this

a widget
margin

the end margin

Generated by valadoc