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