John Williams, on 6 Jan, wrote: > > The case sensitivity option does now work, but the highlighting of the > found terms only works if "Show all" is selected. > > At least, so it seems here. Perhaps someone else could check
Seems OK here, without "Show all" ticked the first match is highlighted. P.S. Why a new thread, or why has Pluto lost the references header. -- David Pitt
