On Fri, Dec 06, 2002 at 02:08:18PM +0000, John Levon wrote: > > I certainly would like to have it. > > You are a developer.
Currently I am a user. > > Maybe the item could be moved down in the menu close to the latex log > > file and we could call it 'View LaTeX Source', but it should stay there > > IMNSHO. > > No it should go definitely. It's a developer feature. I am still a user. Btw: this was not my idea in the beginning but I found it so useful that I adapted it. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)