Looks good. I showed it to stefan as well, and we agree that it will fix problems like updating the status bar on highlighting. It should make refreshing the screen more efficient, too. I think that these 4 are all of the desirable events to throw.