get_margin_top

Description:

public int get_margin_top ()

Gets the top margin of this.

Parameters:

this	a `GtkWidget`

Returns:

The top margin of this