My apologies for this glitch. It was already reported in the bug reports,
and fixed for the next release. As a workaround for now, you can simply hit
cmd-[ (Go > Back) right after the reload.

Christiaan
_______________________________________________
Skim-app-users mailing list
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users

Reply via email to