HTML line numbers are clickable, and highlight the line on arrival. Also, noticed that IE8 didn't line up the line number properly, so added an unfortunate meta tag to make it right. Closes issue #55.

1 files changed, 8 insertions, 0 deletions

diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js
index 2acba5c2..b6bde6ca 100644
--- a/coverage/htmlfiles/coverage_html.js
+++ b/coverage/htmlfiles/coverage_html.js
@@ -65,6 +65,14 @@ function index_page_ready($) {
 
 // -- pyfile stuff --
 
+function pyfile_ready($) {
+    // If we're directed to a particular line number, highlight the line.
+    var frag = location.hash;
+    if (frag.length > 2 && frag[1] == 'n') {
+        $(frag).addClass('highlight');
+    }
+}
+
 function toggle_lines(btn, cls) {
     btn = $(btn);
     var hide = "hide_"+cls;