set_margin_end


Description:

public void set_margin_end (int margin)

Sets the end margin of this.

See the margin_end property.

Parameters:

this

a Widget

margin

the end margin