From e142563737bf23b8ef5478317ac6ea2722dd7e91 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sun, 5 Jun 2011 10:22:09 -0400
Subject: Add a keyboard help panel to the index page.

---
 coverage/htmlfiles/index.html | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'coverage/htmlfiles/index.html')

diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html
index fb37d401..16f55180 100644
--- a/coverage/htmlfiles/index.html
+++ b/coverage/htmlfiles/index.html
@@ -19,6 +19,25 @@
         <h1>Coverage report:
             <span class='pc_cov'>{{totals.pc_covered_str}}%</span>
         </h1>
+        <img id='keyboard_icon' src='keybd_closed.png'>
+    </div>
+</div>
+
+<div class='help_panel'>
+    <img id='panel_icon' src='keybd_open.png'>
+    <p class='legend'>Hot-keys on this page</p>
+    <div>
+    <p class='keyhelp'>
+        <span class='key'>n</span>
+        <span class='key'>s</span>
+        <span class='key'>m</span>
+        <span class='key'>x</span>
+        {% if arcs %}
+        <span class='key'>b</span> 
+        <span class='key'>p</span> 
+        {% endif %}
+        <span class='key'>c</span> &nbsp; change column sorting
+    </p>
     </div>
 </div>
 
-- 
cgit v1.2.1