get_margin_right


Description:

[ 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.

Note:

Use get_margin_end instead.

Parameters:

this

a Widget

Returns:

The right margin of this