external ensure_highlight: [>`sourcebuffer] obj -> Gtk.text_iter -> Gtk.text_iter -> unit = "ml_gtk_source_buffer_ensure_highlight"