Hi, gv currently has the "-watch" facility, so that
it periodically checks (e.g. every sec) to see if the
current file has been changed; and if so, it rereads
the file. Would it be possible to have a similar feature
in xdvi?
I believe xdvik can be sent SIGUSR1 signal to reread
the file, but that requires the user to know the pid of
the
xdvi command.
many thanks, stephen eglen
Logged In: YES
user_id=177175
Yup, that feature is on my personal wish list as well (see
e.g.
http://xdvi.sourceforge.net/gui.html#options-advanced
;-)
Unfortunately I'm currently a bit swamped with other things
(Motif GUI/colour support/printing support, which are still
pretty buggy) so it might take a while to get this
implemented; but I'll put it as the next item on my TODO
list.
Logged In: YES
user_id=177175
Also check how this relates to the handling of `DVI file
corrupted', e.g. having a threshold + timeout for retrying
to load a corrupted file, or loading a cached version of a
file, etc.
Logged In: YES
user_id=177175
Implemented in xdvik-22.76-RC1 (current CVS HEAD):
`-watchfile n'
to check every n seconds.