Not a bug. The text if the highlight notes is not the same as the highlighted text. I have explained this a lot of times.
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
