GtkTextView::get_pixels_below_lines

int get_pixels_below_lines();

See also: set_pixels_below_lines()