braziljs/js-the-right-way — pull request #32 by steinbitglis (2012-09-28 09:21:47+00:00)
Title: Tried to make the highlighting faster.

You gave me a proper answer, so I apologize for the previous blunt deletion of your feature.
As far as I could see, this would make the js part of the thing ~4x faster, still with scroll highlighting thingie.