Re: jDvi & jEdit: font path

[Bertalan Fodor]

Thanks, that's on our to-do list. (To generate the fonts and update the 
font-directory when some fonts not found.)

Bert
Actually, it seems that it already does this, but that it doesn't work
if the fonts haven't been generated yet. Maybe this should be done
before running jDvi for the first time?
 


_______________________________________________
lilypond-user mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/lilypond-user