Eclipse 3.2. I am sure Mark Occurrences used to highlight in yellow - now i just uses bold, which doesn't show up very well, and I can't find which of the myriad preferences changes the way in which the occurrence is marked. Anyone know?

Dave