set_margin_top

Description:

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

Sets the top margin of this.

See the margin_top property.

this	a Widget
margin	the top margin