5 Aug
2007
5 Aug
'07
5:17 p.m.
On 05/08/07, Mark Eli Kalderon eli@markelikalderon.com wrote:
Skim uses some kind of heuristic to figure out when latex is done typesetting. Sometimes this goes wrong, if it takes a long time, and so some of your changes may not be displayed.
Recent versions of Skim can be explicitly instructed to reload the PDF, using Applescript (tell application "Skim" to revert document "foo.pdf"). So it's no longer necessary to rely on this mechanism.
Robin