set_margin_right
Description:
[ Version ( deprecated = true , deprecated_since = "3.12" , since = "3.0" ) ]
public void set_margin_right (int margin)
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 |