Re: [Skim-app-users] Auto-reload PDF file

2011-02-14 Thread Christiaan Hofman
Sorry for that. I see where the problem is, somehow the file I tested this with did not see the problem. This will be fixed in the next release. Can't say when that is though. Christiaan On Feb 14, 2011, at 16:32, José Miguel Figueroa-O'Farrill wrote: > I too can reproduce this very behaviour

Re: [Skim-app-users] Auto-reload PDF file

2011-02-14 Thread José Miguel Figueroa-O'Farrill
I too can reproduce this very behaviour after updating to the new version. Cheers, José On 14 Feb 2011, at 15:20, Vincent Beffara wrote: > > Hi, > > I just installed the new version of Skim, and something weird happens: > whenever a PDF is changed on disk (say by pdflatex) Skim asks

[Skim-app-users] Auto-reload PDF file

2011-02-14 Thread Vincent Beffara
Hi, I just installed the new version of Skim, and something weird happens: whenever a PDF is changed on disk (say by pdflatex) Skim asks whether to reload it or not, and there is an option "auto" for later, so it doesn't ask the next time. With the update, "auto" has the same effect as "yes" so I