Activity for Joseph
-
Joseph posted a comment on ticket #1516
I am experiencing this. It happens with wide slides. For example, see the attached PDF. After auto-refreshing, Skim will jump forward one page.
-
I’m still experiencing this issue. Surely Skim just needs to record the exact scroll offset before reloading at set it afterwards?
-
I think I understand. For what it’s worth, I found a workaround. I was actually incorrect about Skim failing to pick up on file changes induced by git — it does seem to detect them. (Explanation: my output PDF is copied to two places upon building in my LaTeX workflow; one tracked by git, and another in an untracked build/ directory. It was the untracked PDF that was open with Skim.)
-
It seems like file changes caused by version control1 are not noticed by Skim. So do you mean to say it is impossible to manually trigger a reload? Would you recommend anything better than closing and reopening the Skim window? I am using git. Checking out a different commit changes the PDF on disk, but the Skim window doesn’t update and Revert remains greyed out. ↩
-
It seems like file changes caused by version control1 are not noticed by Skim. So do you mean to say it is impossible to manually trigger a reload? Would you recommend anything better than closing and reopening the Skim window? I am using git. Checking out a different commit changes the PDF on disk, but Revert remains greyed out. ↩
-
Add way of reloading/reverting unmodified PDF
-
True, good point. However, the “Revert” option is unavailable (greyed out) unless the document has been modified in Skim. When using Skim purely as a viewer, the document cannot be reverted if the file changes.
-
Add "Reload PDF" menu option
1
