set_margin_right


Description:

[ Version ( deprecated = true , since = "3.0" , deprecated_since = "3.12" ) ]
public void set_margin_right (int margin)

Warning: set_margin_right is deprecated since "3.12".

Sets the right margin of this.

Note:

Use set_margin_end instead.

See the margin_right property.

Parameters:

this

a Widget

margin

the right margin