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? _______________________________________________ Skim-app-users mailing list Skim-app-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/skim-app-users
