get_bottom_margin

Description:

public int get_bottom_margin ()

Gets the bottom margin for text in the this.

Parameters:

this

a `GtkTextView`

Returns:

bottom margin in pixels