[PATCH 14/17] nmbug-status: Anchor with h3 ids instead of a names

diff --git a/ac/f47c41eb168808933716475347a4af31c297b8 b/ac/f47c41eb168808933716475347a4af31c297b8
new file mode 100644 (file)
index 0000000..2d263b6
--- /dev/null
+++ b/ac/f47c41eb168808933716475347a4af31c297b8
@@ -0,0 +1,95 @@
+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 E9F50429E39\r
+       for <notmuch@notmuchmail.org>; Mon,  3 Feb 2014 03:01:14 -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 5QfjLkCmltWe for <notmuch@notmuchmail.org>;\r
+       Mon,  3 Feb 2014 03:01:09 -0800 (PST)\r
+Received: from qmta10.westchester.pa.mail.comcast.net\r
+       (qmta10.westchester.pa.mail.comcast.net [76.96.62.17])\r
+       by olra.theworths.org (Postfix) with ESMTP id C5266429E38\r
+       for <notmuch@notmuchmail.org>; Mon,  3 Feb 2014 03:00:45 -0800 (PST)\r
+Received: from omta02.westchester.pa.mail.comcast.net ([76.96.62.19])\r
+       by qmta10.westchester.pa.mail.comcast.net with comcast\r
+       id MmyU1n0030QuhwU5An0l29; Mon, 03 Feb 2014 11:00:45 +0000\r
+Received: from odin.tremily.us ([24.18.63.50])\r
+       by omta02.westchester.pa.mail.comcast.net with comcast\r
+       id Mn0k1n00B152l3L3Nn0lYJ; Mon, 03 Feb 2014 11:00:45 +0000\r
+Received: from mjolnir.tremily.us (unknown [192.168.0.140])\r
+       by odin.tremily.us (Postfix) with ESMTPS id 21162FB4D5D;\r
+       Mon,  3 Feb 2014 03:00:44 -0800 (PST)\r
+Received: (nullmailer pid 710 invoked by uid 1000);\r
+       Mon, 03 Feb 2014 10:59:42 -0000\r
+From: "W. Trevor King" <wking@tremily.us>\r
+To: notmuch@notmuchmail.org\r
+Subject: [PATCH 14/17] nmbug-status: Anchor with h3 ids instead of a names\r
+Date: Mon,  3 Feb 2014 02:59:32 -0800\r
+Message-Id:\r
+ <1e702bb793444983ef762a2c584dc401a9de0050.1391424512.git.wking@tremily.us>\r
+X-Mailer: git-send-email 1.8.5.2.8.g0f6c0d1\r
+In-Reply-To: <cover.1391424512.git.wking@tremily.us>\r
+References: <cover.1391424512.git.wking@tremily.us>\r
+In-Reply-To: <cover.1391424512.git.wking@tremily.us>\r
+References: <cover.1391424512.git.wking@tremily.us>\r
+DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=comcast.net;\r
+       s=q20121106; t=1391425245;\r
+       bh=rkBMv3/4iyQ9G2mFzDun89Nv7mhxkP8/5KTicVKODOM=;\r
+       h=Received:Received:Received:Received:From:To:Subject:Date:\r
+       Message-Id;\r
+       b=fNlQy6IG/5aSHcbBJIs/FudwB1JKpxLUJGEJFXDIwoPf2LkG2SdOxjcCzrLEg+112\r
+       BiQV+Q/S1Cl2LpKe99WXEVlUcAG+zV3EbZ+rXnHRfLUeWEk49Au8VbbsyqdvnW+7Pu\r
+       7he0hmBVtVz970ybaZJSnzo66q1hmpiN8EvfdrKNOeBnbHlgKirjYMj7M6wwFl/MLS\r
+       6U+p+DB6Kvl5INhK82qXY0vW1OLAH78YhvDR4d7TpKnaHM4wyA8MJBclXSQXR5S49Q\r
+       rfpAlzRglfjzXg2QVyuuBZRsQo2DDIdelldK8PJZm071sJsZ458l8THxjX07gxDQNd\r
+       BxJ3wYZEzhsJA==\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, 03 Feb 2014 11:01:15 -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 e86ea2a..3597389 100755\r
+--- a/devel/nmbug/nmbug-status\r
++++ b/devel/nmbug/nmbug-status\r
+@@ -159,7 +159,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