set_margin_end

Description:

public void set_margin_end (int margin)

Sets the end margin of the widget.

Parameters:

this	a widget
margin	the end margin