On Thu, Apr 15, 2010 at 11:32:34PM +0200, Pavel Sanda wrote: > 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...
I am working on a patch that allows a single menu "Forward Search" and then invokes the commands defined for either dvi or pdf based on the existence of a dvi or pdf file in temp dir. If a per viewer setting is wanted, that should be implementable later. -- Enrico
