get_margin_top


Description:

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

Gets the top margin of the widget.

Parameters:

this

a widget

Returns:

The top margin of this