Thanks - got the updated code. I was thinking apple script would be a good
way to replace the underlines with highlights. It appears that the old
highlights (created under previous OS) look just fine. I may even be able
to run the AppleScript on a previous OS to replace underlines periodically.
If I have any successes which could help users, I'll update here.
Thanks for your assistance!
On Tue, Oct 3, 2017 at 2:09 PM, Christiaan Hofman <[email protected]>
wrote:
> That build problem is now fixed, some third party code had changed in an
> incompatible way.
>
> Highlights should definitely need to be replaced automatically but Skim.
> If you want to do that yourself you can us AppleScript.
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> Skim-app-users mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/skim-app-users
>
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Skim-app-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/skim-app-users
