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/htmlfiles/pyfile.html | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html
index d9d0e4c6..6f99e6a6 100644
--- a/coverage/htmlfiles/pyfile.html
+++ b/coverage/htmlfiles/pyfile.html
@@ -9,6 +9,7 @@
     <link rel='stylesheet' href='style.css' type='text/css'>
     <script type='text/javascript' src='jquery-1.4.3.min.js'></script>
     <script type='text/javascript' src='jquery.hotkeys.js'></script>
+    <script type='text/javascript' src='jquery.isonscreen.js'></script>
     <script type='text/javascript' src='coverage_html.js'></script>
     <script type='text/javascript' charset='utf-8'>
         jQuery(document).ready(coverage.pyfile_ready);
-- 
cgit v1.2.1