lilypond-user
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: xdvi watch


From: Atte André Jensen
Subject: Re: xdvi watch
Date: Sat, 20 Dec 2003 15:55:12 +0100
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031107 Debian/1.5-3

Ferenc Wagner wrote:

AFAIK xdvi doesn't watch the file in the sense gv does.
Xdvi checks for changes only when you click on it and when
its window is shown.

Ah, yeah, that works...

I know that it's possible to kick gv to redisplay the file using

killall -HUP gv

but this seems to simply close xdvi. Anyone knows about a similar way to force xdvi to reread??

--
peace, love & harmony
Atte

http://www.atte.dk





reply via email to

[Prev in Thread] Current Thread [Next in Thread]