Michael Flohr

Wow, this was fast! Thanks a lot! I'll look forward to the next release and use your workaround in the meantime.

Since I work from the command line, the editor does nothing. The fact that the pdf changed, is recognized by skim. What changed is that it does not stay on the page I currently viewed, but jumps baack to the first page of the document. I noted the change in behaviour just right now after updating top 1.4.37. I am pretty sure that I was on 1.4.36 before, since I use skim daily and it checks for updates daily. In case I accidentally did dismiss the update, it was 1.4.35. Did something change from 1.4.35...

To avoid misunderstanding: by "sync" I mean that skim detects the change in the pdf file, reloads it and goes to the exact same page and position as before. This works partly, but now, in contrast to earlier releases, skim jumps back to the top of the first page.

pdf sync switches back to first pages