From 527ba191faed1cb5a2d4fd2206114de2748a3dfe Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sun, 27 Mar 2011 16:44:00 -0400
Subject: HTML hotkeys for jumping to next/prev highlighted source section.

---
 coverage/html.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'coverage/html.py')

diff --git a/coverage/html.py b/coverage/html.py
index 97e92be0..e4404de4 100644
--- a/coverage/html.py
+++ b/coverage/html.py
@@ -33,8 +33,9 @@ class HtmlReporter(Reporter):
     STATIC_FILES = [
             "style.css",
             "jquery-1.4.3.min.js",
-            "jquery.tablesorter.min.js",
             "jquery.hotkeys.js",
+            "jquery.isonscreen.js",
+            "jquery.tablesorter.min.js",
             "coverage_html.js",
             ]
 
-- 
cgit v1.2.1