Your comments

More detailed ticket at

Looks like this is reported at as well.

I believe the highlight color is customizable via the theme file.

The current highlight circle just needs to be themeable. I'd want black text in a yellow circle. Coda does a wonderful job of highlighting text that you're looking for and uses a subtle animation to bring your attention to the item that's selected (there's a bit of a bounce to it when the text comes into focus).