Just use a space char for links

This commit is contained in:
Kovid Goyal 2019-07-14 18:31:41 +05:30
parent 1e9517f40f
commit 4132a874d9
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -282,10 +282,10 @@ def add_anchors_markup(root, uuid, anchors):
body.append(div)
for i, anchor in enumerate(anchors):
div.append(div.makeelement(XHTML('a'), href='#' + anchor))
div[-1].text = '{}'.format(i)
div[-1].text = '\xa0'
div[-1].tail = ' '
div.append(div.makeelement(XHTML('a'), href='#' + uuid))
div[-1].text = 'top'
div[-1].text = '\xa0'
div[-1].tail = ' '