> On 29 May 2020, at 20:55, Paul Tratnyek <[email protected]> wrote: > > Sorry, this must be a newbie question, but I am stumped: > > I want FIND to highlight all the matches, but my Skim doesn’t do that > (lately?). > > The manual at the old Skim website (https://skim-app.sourceforge.io) says: > > You can set whether Skim circle highlights results of a text search as > well as the color used…. > To highlight Find results using a circle, choose Skim Preferences, > click Display, ad select “Highlight search results with color”. > > Sounds perfect, but I don’t see that preference in the current version. Where > did it go?
I was not aware that was still in the help. This is not supported for a long time. Christiaan
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
