The latest bug-fix release of coverage.py is now available: Coverage.py v3.5.3. Eight bugs were fixed, the most visible of which is that the line numbers in the HTML report now line up better with the source lines (again). Thanks to a simple CSS fix from Marius Gedminas, this perennial annoyance may finally be eradicated.

All the details are in the change history, as usual.

It's getting chilly out there, cover up...

tagged: , » 3 reactions

Comments

[gravatar]
Marius Gedminas 3:49 AM on 3 Oct 2012

You have more faith in my trivial patch than I do. But a simple fix today is better than waiting for somebody else to come up with a better one.

[gravatar]
Ned Batchelder 5:41 AM on 3 Oct 2012

@Marius: it was simple, and made sense, and worked! What more could you ask from a patch?

[gravatar]
Marius Gedminas 6:57 AM on 3 Oct 2012

Elegance? ;-)

The bug was caused by a certain lack of precision (approximating 4/3 as 1.3333em). My fix increased that precision somewhat (to 1.3333333em), but that's still an approximation.
I have the nagging suspicion that may still be insufficiently precise for some maybe-future browser versions on some devices/displays/font sizes.

The old saying about perfect being the enemy of good is the only thing that consoles me.

Add a comment:

name
email
Ignore this:
not displayed and no spam.
Leave this empty:
www
not searched.
 
Name and either email or www are required.
Don't put anything here:
Leave this empty:
URLs auto-link and some tags are allowed: <a><b><i><p><br><pre>.