Hi Christiaan, Thank you for notification! I am sorry for not checking the existing bug report.
Thanks, rin On 2018/11/14 22:26, Christiaan Hofman wrote:
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 [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
_______________________________________________ Skim-app-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/skim-app-users
