let add_tag buffer (name, tag_prop) start stop = (* TODO : maybe we should use lazy to build the each tag only once ?... *) let tag = Gtk_helper.make_tag buffer ~name tag_prop in Gtk_helper.apply_tag buffer tag start stop