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
