lilypond-user
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: jDvi & jEdit: font path

From: Bertalan Fodor
Subject: Re: jDvi & jEdit: font path
Date: Wed, 13 Oct 2004 10:37:05 +0200
User-agent: Mozilla Thunderbird 0.7.1 (Windows/20040626)
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?
reply via email to
[Prev in Thread] Current Thread [Next in Thread]