get_margin_left
Description:
[ Version ( deprecated = true , deprecated_since = "3.12" , since = "3.0" ) ]
public int get_margin_left ()
public int get_margin_left ()
Warning: get_margin_left is deprecated since 3.12.
Gets the value of the margin_left property.
Note:
Use get_margin_start instead.
Parameters:
| this |
a Widget |
Returns:
|
The left margin of this |