[PATCH v2 15/20] nmbug-status: Anchor with h3 ids instead of a names

diff --git a/57/b8c7da8eff19f4c1e1c6b7526cb22a50bcd439 b/57/b8c7da8eff19f4c1e1c6b7526cb22a50bcd439
new file mode 100644 (file)
index 0000000..eb08271
--- /dev/null
+++ b/57/b8c7da8eff19f4c1e1c6b7526cb22a50bcd439
@@ -0,0 +1,96 @@
+Return-Path: <wking@tremily.us>\r
+X-Original-To: notmuch@notmuchmail.org\r
+Delivered-To: notmuch@notmuchmail.org\r
+Received: from localhost (localhost [127.0.0.1])\r
+       by olra.theworths.org (Postfix) with ESMTP id DD026429E54\r
+       for <notmuch@notmuchmail.org>; Mon, 10 Feb 2014 10:42:30 -0800 (PST)\r
+X-Virus-Scanned: Debian amavisd-new at olra.theworths.org\r
+X-Amavis-Alert: BAD HEADER SECTION, Duplicate header field: "References"\r
+X-Spam-Flag: NO\r
+X-Spam-Score: 0\r
+X-Spam-Level: \r
+X-Spam-Status: No, score=0 tagged_above=-999 required=5\r
+       tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001]\r
+       autolearn=disabled\r
+Received: from olra.theworths.org ([127.0.0.1])\r
+       by localhost (olra.theworths.org [127.0.0.1]) (amavisd-new, port 10024)\r
+       with ESMTP id JcrHPjEOQ6qs for <notmuch@notmuchmail.org>;\r
+       Mon, 10 Feb 2014 10:42:24 -0800 (PST)\r
+Received: from qmta14.westchester.pa.mail.comcast.net\r
+       (qmta14.westchester.pa.mail.comcast.net [76.96.59.212])\r
+       by olra.theworths.org (Postfix) with ESMTP id EF44B429E28\r
+       for <notmuch@notmuchmail.org>; Mon, 10 Feb 2014 10:42:00 -0800 (PST)\r
+Received: from omta03.westchester.pa.mail.comcast.net ([76.96.62.27])\r
+       by qmta14.westchester.pa.mail.comcast.net with comcast\r
+       id QczU1n0060bG4ec5Eii00J; Mon, 10 Feb 2014 18:42:00 +0000\r
+Received: from odin.tremily.us ([24.18.63.50])\r
+       by omta03.westchester.pa.mail.comcast.net with comcast\r
+       id Qihz1n00N152l3L3Pii0kY; Mon, 10 Feb 2014 18:42:00 +0000\r
+Received: from mjolnir.tremily.us (unknown [192.168.0.140])\r
+       by odin.tremily.us (Postfix) with ESMTPS id 135E710167BF;\r
+       Mon, 10 Feb 2014 10:41:59 -0800 (PST)\r
+Received: (nullmailer pid 1276 invoked by uid 1000);\r
+       Mon, 10 Feb 2014 18:40:45 -0000\r
+From: "W. Trevor King" <wking@tremily.us>\r
+To: notmuch@notmuchmail.org\r
+Subject: [PATCH v2 15/20] nmbug-status: Anchor with h3 ids instead of a names\r
+Date: Mon, 10 Feb 2014 10:40:36 -0800\r
+Message-Id:\r
+ <7d6785c33c56545917c144b69e31d9beb9255278.1392056624.git.wking@tremily.us>\r
+X-Mailer: git-send-email 1.8.5.2.8.g0f6c0d1\r
+In-Reply-To: <cover.1392056624.git.wking@tremily.us>\r
+References: <cover.1392056624.git.wking@tremily.us>\r
+In-Reply-To: <cover.1392056624.git.wking@tremily.us>\r
+References: <cover.1392056624.git.wking@tremily.us>\r
+DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=comcast.net;\r
+       s=q20121106; t=1392057720;\r
+       bh=C27T/66OjWXKoqDKJAEIZ7Cbz0b/93veZb38VV0QkOs=;\r
+       h=Received:Received:Received:Received:From:To:Subject:Date:\r
+       Message-Id;\r
+       b=cfXQSqakXX3HyyJPFfaZPdgeLgSp3EaeLF8rKNcAwbfVTaq3JjqST7fUi5HyuifDd\r
+       UwQGq3yLQGof8+5SQBBjlSBwe/IOHhmU1t+LVUcJl7Yjelrlh6SKrXzMbYywuyWXS8\r
+       79XF/OvPhxP7YuW21PCmF1MYJuAJkq5XEpwBhqZA7pGVNvROD+A1OuXdwxQkEcw+SY\r
+       UtpKTqOvzwZL4EO6ig9zfjimpoG4b/QcAoR+QuBHrhD0t4tpAkuPgpqP9Y5HxdVa22\r
+       r8r7EwAP85dUoRjZo1KD3sPy2UkcUUBXOW4VEE2cHcHOA0/U96dDO02ym6pgJnMH4D\r
+       xLYPQaFYm+drw==\r
+Cc: Tomi Ollila <tomi.ollila@iki.fi>\r
+X-BeenThere: notmuch@notmuchmail.org\r
+X-Mailman-Version: 2.1.13\r
+Precedence: list\r
+List-Id: "Use and development of the notmuch mail system."\r
+       <notmuch.notmuchmail.org>\r
+List-Unsubscribe: <http://notmuchmail.org/mailman/options/notmuch>,\r
+       <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>\r
+List-Archive: <http://notmuchmail.org/pipermail/notmuch>\r
+List-Post: <mailto:notmuch@notmuchmail.org>\r
+List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>\r
+List-Subscribe: <http://notmuchmail.org/mailman/listinfo/notmuch>,\r
+       <mailto:notmuch-request@notmuchmail.org?subject=subscribe>\r
+X-List-Received-Date: Mon, 10 Feb 2014 18:42:31 -0000\r
+\r
+HTML 5 allows id attributes on all HTML elements [1], but restricts\r
+names to particular cases [2].  Attaching the id attribute to the h3\r
+element allows us to drop the anchor a element altogether.\r
+\r
+[1]: http://www.w3.org/TR/html5/dom.html#the-id-attribute\r
+[2]: http://www.w3.org/TR/html5/index.html#attributes-1\r
+---\r
+ devel/nmbug/nmbug-status | 2 +-\r
+ 1 file changed, 1 insertion(+), 1 deletion(-)\r
+\r
+diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status\r
+index 040baf0..2b1f364 100755\r
+--- a/devel/nmbug/nmbug-status\r
++++ b/devel/nmbug/nmbug-status\r
+@@ -177,7 +177,7 @@ class HtmlPage (Page):\r
+         stream.write('</ul>\n')\r
+ \r
+     def _write_view_header(self, view, stream):\r
+-        stream.write('<h3><a name="{title}" />{title}</h3>\n'.format(**view))\r
++        stream.write('<h3 id="{title}">{title}</h3>\n'.format(**view))\r
+         if 'comment' in view:\r
+             stream.write(view['comment'])\r
+             stream.write('\n')\r
+-- \r
+1.8.5.2.8.g0f6c0d1\r
+\r