[ Version ( deprecated = true , deprecated_since = "3.12" , since = "3.0" ) ]
public int get_margin_right ()
Warning: get_margin_right is deprecated since 3.12.
Gets the value of the margin_right property.
Use get_margin_end instead.
| this |
a Widget |
|
The right margin of this |