set_margin_bottom


Description:

public void set_margin_bottom (int margin)

Sets the bottom margin of the widget.

Parameters:

this

a widget

margin

the bottom margin