let add_tag buffer (name, tag_prop) start stop = let tag = Gtk_helper.make_tag buffer ~name tag_prop in Gtk_helper.apply_tag buffer tag start stop