Andreas L Delmelle wrote:
On Aug 25, 2006, at 00:11, Luis Ferro wrote:
<snip/>
It doesn't seem too difficult to alter FontInfo.java to make it first
look for a font with the same name/weight, but with default font-style.
Anyway, I'll give other devs a chance to chime in before I start
fiddling with it. If no objections arise, I'll probably commit this
small change during the weekend.
This change sounds like a good idea. If you decide to do it make sure
you update the message "replacing with default font" to reflect exactly
which font was used instead.
Chris
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
