John McCabe-Dansted wrote:
On 8/9/06, Jean-Marc Lasgouttes <[EMAIL PROTECTED]> wrote:
If we use a different temp file each time, how do we know
when we can delete it?
What if we attempt to delete each old version of the temp file each
time we create a new one? That way we do not proliferate old temp
files unless we know they are still in use.
Are there any cases (apart from the DVI viewer) where this would
behave worse than the current situation?
Every case except "adobe acrobat" I believe.
I use "xpdf" for viewing pdf files, and using the same file is what works!
I can den do view->update->pdf and just hit the R key in the
xpdf viewer, and it'll reload the new document. Much faster than
re-running the executable.
Acrobat reader is broken on linux of course, but it is slow too so I
don't use it even on i386 where it actually exists. There is no
acrobat at all on x86-64 and others - there it isn't an issue at all.
Helge Hafting
