Automatically update files for external updates

Skim can automatically reload files you view when their contents changes on disk, by another program.

Skim will always first ask you whether it should reload the file when the contents changes on disk, unless you have chosen Auto.