mozilla/dxr — pull request #263 by jamonation (2014-03-19 02:28:37+00:00)
Title: Fix missing lines from highlights on shift-select upwards and then down again

I think this fixes it. I have tried to reproduce by selecting upwards and then down again with all manner of clicking and haven't see the dreaded zebra stripes :)