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

set_margin_top

Description:

[ Version ( since = "3.0" ) ]
public void set_margin_top (int margin)

Sets the top margin of the widget.

Parameters:

this

a widget
margin

the top margin

Generated by valadoc