From: W. Trevor King <wking@tremily.us>
Date: Thu, 13 Feb 2014 16:47:16 +0000 (-0800)
Subject: nmbug-status: Anchor with h3 ids instead of a names
X-Git-Tag: 0.18_rc0~149
X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=e485b5bd1de1d514a35ab92d726240d2b46f99ab

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

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
---

diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status
index 873a46a8..40e68962 100755
--- a/devel/nmbug/nmbug-status
+++ b/devel/nmbug/nmbug-status
@@ -177,7 +177,7 @@ class HtmlPage (Page):
         stream.write('</ul>\n')
 
     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:
             stream.write(view['comment'])
             stream.write('\n')