external buffer_to_window_coords : [>`textview] obj -> Gtk.Tags.text_window_type -> int -> int -> int*int =
           "ml_gtk_text_view_buffer_to_window_coords"