On Tue, Jan 08, corvid wrote:

I was looking at draw() calls for the view, and I saw how there was a call for every time that the mouse moved when highlighting even though the text highlighted didn't necessarily change.

Here's quick code to demonstrate that there are plenty of redundant ones. I don't know the iterator code well enough to know whether that's the right place to do anything about it, though...

Your patch makes sense, and I've committed it (slightly changed). The purpose of Iterator::highlight is to change a state, and so it should be checked, whether the state has changed at all. Sebastian