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