Great, thanks! I tried that, it's not perfect in that the title/note part of the highlight is filled with somewhat noisy stuff, short prefixes of the actual highlights, at least for the ones coming from Preview. But at least I can edit them.
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
