25 Oct
2007
25 Oct
'07
8:28 p.m.
On Oct 25, 2007, at 10:03 PM, Brad Miller wrote:
The last meesage in the Typeset & View window should be something like: Telling Skim to Refresh "filename.pdf"
Do you see that message even when Skim does not come all the way forward?
yes. but perhaps this is an important point: i'm not sure but maybe the begin of current behaviour (with the log windows remaining in front of the skim window) dates back to this internal change of the refreshing process. some weeks ago skim had to watch the pdf file and reload it if there was a change, and back then, i think, skim was raised to the front if the run was successful. now this is handled by this script and doesn't work in the former way. (well, i don't want to go back!)
christoph