<div dir="ltr"><div>Hi Ned,<br> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">Thomi, I don&#39;t see this issue on Mac 10.8 or on Precise in either
    Firefox or Chrome.</div></blockquote><div class="gmail_extra"><br><br></div><div class="gmail_extra">I looked into this some more, my findings are below:<br><br>If you&#39;re using the Ubuntu distribution packages, the Precise package is coverage version 3.6, and trusty is 3.7. There are some distro-patches in the Ubuntu packages, the most suspicious one replaces the JS files packaged with coverage with ones from the distribution JS library. *However*, I can get this to break with the version of coverage from pypi as well (see below).<br>
<br>I&#39;ve managed to track the problem down to the &#39;jquery.hotkeys.js&#39; file. In Precise this is version &#39;0.8&#39;, in trusty it&#39;s &#39;0.8+&#39;. If I replace that file with the version from precise then everything works again. The diff is reasonably small, but my JS skills aren&#39;t up to the task of debugging exactly where is the issue is. <br>
<br></div><div class="gmail_extra">I&#39;ve created a simple bash script that will reproduce the issue:<br><br><a href="https://gist.github.com/thomir/9314320">https://gist.github.com/thomir/9314320</a><br><br></div><div class="gmail_extra">
download to &#39;reproducer.sh&#39; and either run:<br><br></div><div class="gmail_extra">./reproducer.sh -fail<br><br></div><div class="gmail_extra">to open the web browser in an html coverage report that exhibits the bug, or run without &#39;-fail&#39; to open the browser in a report that works as expected. To see the bug, open one of the file reports, and press the &#39;Alt&#39; key. In the failing version, the alt key triggers all the line highlights.<br clear="all">
</div><div class="gmail_extra"><br></div><div class="gmail_extra">Please let me know if I can do anything else to help track down this bug. Hopefully with the above script you can reproduce it as well.<br><br></div><div class="gmail_extra">
Cheers,<br></div><div class="gmail_extra"><br>-- <br><div dir="ltr"><div>Thomi Richards<br></div><a href="mailto:thomi.richards@canonical.com" target="_blank">thomi.richards@canonical.com</a><br></div>
</div></div>