Jean-Marc Lasgouttes wrote: > 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... ?
this is only dvi and pdf stuff. secondly there are at least two ways how to have only one menu item - remember last view type or detect whether temp dir contains dvi or pdf. preferred format is not enough for my usecases, but dont want to again flame on this feature... pavel
