From 8da3b01fe961f657613938691dd50f81bf47f2ba Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sun, 7 Nov 2010 19:45:54 -0500
Subject: Hotkeys for the HTML report.

---
 coverage/htmlfiles/coverage_html.js | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'coverage/htmlfiles/coverage_html.js')

diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js
index f9ba3cf3..a3519250 100644
--- a/coverage/htmlfiles/coverage_html.js
+++ b/coverage/htmlfiles/coverage_html.js
@@ -2,6 +2,20 @@
 
 coverage = {};
 
+// Find all the elements with shortkey_* class, and use them to assign a shotrtcut key.
+coverage.assign_shortkeys = function() {
+    $("*[class*='shortkey_']").each(function(i, e) {
+        console.log(i, e);
+        $.each($(e).attr("class").split(" "), function(i, c) {
+            if (/^shortkey_/.test(c)) {
+                $(document).bind('keydown', c.substr(9), function() {
+                    $(e).click();
+                });
+            }
+        });
+    });
+}
+
 // Loaded on index.html
 coverage.index_ready = function($) {
     // Look for a cookie containing previous sort settings:
@@ -59,6 +73,8 @@ coverage.index_ready = function($) {
         headers: headers
     });
 
+    coverage.assign_shortkeys();
+
     // Watch for page unload events so we can save the final sort settings:
     $(window).unload(function() {
         document.cookie = cookie_name + "=" + sort_list.toString() + "; path=/"
@@ -73,6 +89,8 @@ coverage.pyfile_ready = function($) {
     if (frag.length > 2 && frag[1] == 'n') {
         $(frag).addClass('highlight');
     }
+
+    coverage.assign_shortkeys();
 }
 
 coverage.toggle_lines = function(btn, cls) {
-- 
cgit v1.2.1