Problem:
It is sometimes necessary to manually reload the PDF file from disk when Skim has not itself modified the file (in which case the Revert option is unavailable). For example, when using version control or using a TeX workflow without automatic sync.
Related tickets:
• #658 “Add "Reload PDF" option to viewer” – (2009) closed because too difficult?
• #1629 “Add "Reload PDF" menu option” – (2021) closed because ‘Revert’ menu item exists.
Suggestion:
When viewing an unmodified PDF, the Skim’s ‘Revert’ option changes to a ‘Reload’ option instead of being greyed out, but has the same functionality.
Log in to post a comment.
