get_top_margin

Description:

public int get_top_margin ()

Gets the top margin for text in the this.

Parameters:

this

a `GtkTextView`

Returns:

top margin in pixels