def inject_id(m): header_id = uslugify(m.group('text'), '-') if header_id == '': return m.group(0) # Append a dash and number for uniqueness if needed value = unique.get(header_id, None) if value is None: unique[header_id] = 1 else: unique[header_id] += 1 header_id += "-%d" % value return m.group('open')[:-1] + (' id="%s">' % header_id) + m.group('text') + m.group('close')
def inject_id(m): id = uslugify(m.group('text'), '-') if id == '': return m.group(0) # Append a dash and number for uniqueness if needed value = unique.get(id, None) if value is None: unique[id] = 1 else: unique[id] += 1 id += "-%d" % value return m.group('open')[:-1] + (' id="%s">' % id) + m.group('text') + m.group('close')