User Activity

  • Posted a comment on ticket #1516 on Skim

    I am experiencing this. It happens with wide slides. For example, see the attached PDF. After auto-refreshing, Skim will jump forward one page.

  • Posted a comment on ticket #1187 on Skim

    I’m still experiencing this issue. Surely Skim just needs to record the exact scroll offset before reloading at set it afterwards?

  • Posted a comment on ticket #1629 on Skim

    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.)

  • Modified a comment on ticket #1629 on 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. ↩

  • Posted a comment on ticket #1629 on 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 Revert remains greyed out. ↩

  • Created ticket #1630 on Skim

    Add way of reloading/reverting unmodified PDF

  • Posted a comment on ticket #1629 on Skim

    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.

  • Created ticket #1629 on Skim

    Add "Reload PDF" menu option

View All

Personal Data

Username:
jolly-watt
Joined:
2021-12-06 07:16:52.776000

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB