I am not sure you understand what this was about. It was just a way to, temporarily, indicate the search matches. It was discontinued when PDFKit introduced a standard yellow highlight style, which is what we now use.
Christiaan Op vr 29 mei 2020 22:38 schreef Paul Tratnyek <[email protected]: > Bummer. I was afraid of that. > > When I tried Preview and Acrobat (Pro 2017) just now, I realize they don’t > do this as well as I remembered, either. Bummer^2 > > Seems like a good feature to restore. What I want it for is to compare the > overall content of papers on a particular theme. Skimming for highlighted > keywords would be very helpful. It would be awesome if it worked even in > Overview view, so I could judge the whole document at once. > > > On May 29, 2020, at 12:11 PM, Christiaan Hofman <[email protected]> > wrote: > > > > 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 > > > _______________________________________________ > Skim-app-users mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/skim-app-users >
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
