get_margin_right


Description:

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

Warning: get_margin_right is deprecated since "3.12".

Gets the value of the margin_right property.

Note:

Use get_margin_end instead.

Parameters:

this

a Widget

Returns:

The right margin of this