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