debian/notmuch
1
0
Fork 0
mirror of https://git.notmuchmail.org/git/notmuch synced 2024-11-26 04:45:20 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

nmbug-status: Anchor with h3 ids instead of a names

Browse source 
HTML 5 allows id attributes on all HTML elements [1], but restricts
names to particular cases [2].  Attaching the id attribute to the h3
element allows us to drop the anchor a element altogether.

[1]: http://www.w3.org/TR/html5/dom.html#the-id-attribute
[2]: http://www.w3.org/TR/html5/index.html#attributes-1
This commit is contained in:
W. Trevor King 2014-02-13 08:47:16 -08:00 committed by David Bremner
parent 91aede05a3
commit e485b5bd1d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
devel/nmbug/nmbug-status
View file

@ -177,7 +177,7 @@ class HtmlPage (Page):
stream.write('</ul>\n') stream.write('</ul>\n')
def _write_view_header(self, view, stream): def _write_view_header(self, view, stream):
stream.write('<h3><a name="{title}" />{title}</h3>\n'.format(**view)) stream.write('<h3 id="{title}">{title}</h3>\n'.format(**view))
if 'comment' in view: if 'comment' in view:
stream.write(view['comment']) stream.write(view['comment'])
stream.write('\n') stream.write('\n')