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
No comments:
Post a Comment