def unique()

in plugins/toc.py [0:0]


def unique(id_, ids):
    """ Ensure id is unique in set of ids. Append '_1', '_2'... if not """
    while id_ in ids or not id_:
        m = IDCOUNT_RE.match(id_)
        if m:
            id_ = '%s_%d' % (m.group(1), int(m.group(2)) + 1)
        else:
            id_ = '%s_%d' % (id_, 1)
    ids.add(id_)
    return id_