Hi, On Thu, Feb 21, 2008 at 04:57:29AM +0000, place wrote:

Hi Johannes,

I finally got around to applying this today... Are you seeing any problems with text highlighting?

If I repeat searches so that the page scrolls some -- but not far enough for the previous instance to scroll off screen -- the previous instance stays highlighted and the current instance isn't highlighted.

It's entirely possible that I screwed something up, but when I diffed my trees, I didn't notice anything wrong...

No, I'm seeing this too now. I will try to fix it. Thanks for testing, Johannes