> The patch will not change that, I overlooked this problem. This certainly > needs discussion: Do we really want View->XYZ entries for lots of formats > that no user uses? Imagine a user who has no DVI viewer and does not want > one. Why should he have View->DVI? I think the suggested canOpen() > function is not too bad.
The basic ones, dvi/ps/all pdfs are certainly needed, and I do not think view->... is now over-crowded. > Of course, and I don't want to remove that. I suggested to remove the > windows viewers from configure.py, We can certainly do that (and put "auto" for the viewers). > I don't think so, since 1.4 should keep the 1.3 compatibility code for > reading the rc file. You have to ask Jean-Marc if you want a definite > answer. Then, I am afraid that our patches do not overlap. I have to do something to configure.py, despite your patch, and go ahead. Bo
