Yes, this is essentially how I had understood it. It just does not make any
sense to me, because programmatically the addition of old highlights when
opening the file is completely equivalent to adding a new highlight later
on. These are the same kind of objects added with the same exact code. The
only difference is *when* they're added.
Christiaan
------------------------------------------------------------------------------
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
