Add a keyboard help panel to the index page.

Author: nedbat

coverage/htmlfiles/coverage_html.js

@@ -95,6 +95,7 @@ coverage.index_ready = function ($) {
     });
 
     coverage.assign_shortkeys();
+    coverage.wire_up_help_panel();
 
     // Watch for page unload events so we can save the final sort settings:
     $(window).unload(function () {

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>
 

coverage/htmlfiles/style.css

@@ -114,6 +114,13 @@ h2.stats {
     padding: .5em;
     border: 1px solid #883;
     display: none;
+}
+
+#indexfile .help_panel {
+    width: 20em; height: 4em;
+}
+
+#pyfile .help_panel {
     width: 16em; height: 8em;
 }