Le 15 avr. 10 à 17:49, Enrico Forestieri a écrit :
The point is that in the command you have to specify either the .dvi or .pdf file, so you have to know for which kind of output you want to perform a forward search. How would you avoid the need for having two possible choices in a menu?
Hmm, the user already has a way to set the preferred format /per document/. Are you really hinting that it is not enough and that we should have a submenu
Forward Search>DVI/PDF/DjVu/Custom... ? JMarc
