GtkTextView::set_pixels_above_lines

void set_pixels_above_lines(int pixels_above_lines);

See also: get_pixels_above_lines()