Re: dvi problem with jedit 4.2final

[Bertalan Fodor]

> Jedit somehow change the properties file, so when I close and restart 
> I  have to set this again. I will make the macro when I''ll learn how 
> to  do...!
It's very easy to run a macro on every startup! Just put a file in 
HOMEDIR/.jedit/startup directory. Call it for example
setDviFontPath.bsh
with the line
jEdit.setProperty("options.lilytool.dvi-font-path=file\:/sw/var/lib/texmf/fonts/pk/ljfour");
in it.

Bert