It's very easy to run a macro on every startup! Just put a file in HOMEDIR/.jedit/startup directory. Call it for example
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...!
setDviFontPath.bsh
with the line
jEdit.setProperty("options.lilytool.dvi-font-path=file\:/sw/var/lib/texmf/fonts/pk/ljfour");
in it.
Bert
_______________________________________________ lilypond-user mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/lilypond-user
