For DVI files the dvi viewer automatically reloads the file, but keeps the same page open etc. This behaviour can be handy. Perhaps it should be configurable per viewer?
Isn't that the task of view->update->dvi? This actually confirms my belief that view should use a different name. For DVI: 1. view dvi 2. modify file 3. update dvi ===> ok 4. modify file 5. view dvi: a separate xdvi is lauched, but the content of *both* xdvi window is changed. This is wrong. For ghostscript: 1. view ps (kghostview is started) 2. modify file 3. update pd ==> does not work. 4. view ps, two kghostview are present, with different content. We see that there are problems with view->update as well. Bo
