Re: dvi problem with jedit 4.2final

[Bertalan Fodor]

Well, I think that the problem is with kpsewhich/kpsepath.
You can make a workaround. Find the PK font files that are used by jdvi: 
they should be called feta13.600pk or something.pk
In Linux you would find them in /var/cache/fonts/pk/ljfour
Edit .jedit/properties in your home directory and set the line like this:

options.lilytool.dvi-font-path=file\:/Volumes/var/cache/fonts/pk/ljfour

This way jdvi should find the fonts. However, it is possible that after 
running Make DVI fonts you must set this property again. But you can 
make a macro for this:
jEdit.setProperty("options.lilytool.dvi-font-path=file\:/Volumes/var/cache/fonts/pk/ljfour");

I hope I could help

Bert