set_margin_end

Description:

[ Version ( since = "3.12" ) ]
public void set_margin_end (int margin)

Sets the end margin of this.

See the margin_end property.

this	a Widget
margin	the end margin