Re: xdvi refresh

2020-01-15 Thread tomas
On Wed, Jan 15, 2020 at 10:51:47AM -0600, David Wright wrote: > On Wed 15 Jan 2020 at 08:00:50 (+0100), to...@tuxteam.de wrote: > > On Tue, Jan 14, 2020 at 08:16:17PM +, Russell L. Harris wrote: > > > On Debian 10 (Buster), running latex does not cause refresh of xdvi, > > > as I seem to

Re: xdvi refresh

2020-01-15 Thread David Wright
On Wed 15 Jan 2020 at 08:00:50 (+0100), to...@tuxteam.de wrote: > On Tue, Jan 14, 2020 at 08:16:17PM +, Russell L. Harris wrote: > > On Debian 10 (Buster), running latex does not cause refresh of xdvi, > > as I seem to recall that it does on Debian 8 and 9. Instead, I must > > click on the

Re: xdvi refresh

2020-01-14 Thread tomas
On Tue, Jan 14, 2020 at 08:16:17PM +, Russell L. Harris wrote: > On Debian 10 (Buster), running latex does not cause refresh of xdvi, > as I seem to recall that it does on Debian 8 and 9. Instead, I must > click on the screen for refresh. > > Having read the xdvi man page, I think this could

Re: xdvi refresh

2020-01-14 Thread David Wright
On Tue 14 Jan 2020 at 20:16:17 (+), Russell L. Harris wrote: > On Debian 10 (Buster), running latex does not cause refresh of xdvi, > as I seem to recall that it does on Debian 8 and 9. Instead, I must > click on the screen for refresh. > > Having read the xdvi man page, I think this could