GtkTextView::set_pixels_below_lines

void set_pixels_below_lines(int pixels_below_lines);

See also: get_pixels_below_lines()