external remove_all_tags : text_buffer -> text_iter -> text_iter -> unit = "ml_gtk_text_buffer_remove_all_tags"