#1092 User interface "Mark Occurences" highlight configurability

[Peter Harris]

Mark Occurrences highlight does not really look right if you use a dark editor setup (light yellow highlight and white text). I looked for a configuration option to change the color, but could not see one - could one get added please.

It's a useful feature but I have to turn it off with my UI setup.