external set_visible_line_index : text_iter -> int -> unit = "ml_gtk_text_iter_set_visible_line_index"