set_margin_top


Description:

public void set_margin_top (int margin)

Sets the top margin of this.

See the margin_top property.

Parameters:

this

a Widget

margin

the top margin