get_margin_top

Description:

[ Version ( since = "3.0" ) ]
public int get_margin_top ()

Gets the value of the margin_top property.

Parameters:

this

a Widget

Returns:

The top margin of this