external delete_mark_by_name : text_buffer -> string -> unit = "ml_gtk_text_buffer_delete_mark_by_name"