lilypond-user
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Fonts for text


From: Wols Lists
Subject: Re: Fonts for text
Date: Mon, 27 Apr 2020 13:22:12 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.0

On 26/04/20 09:20, Noeck wrote:
> 
> 
> Am 26.04.20 um 09:13 schrieb Thomas Morley:
>> In "Times New Roman" the "Roman" is taken as font-family of font
>> "Times New", which does not exists, thus a fall-back font is used.
> 
> What? :)
> 
> (Well, I think I know some background why, but that is still really
> unexpected.)
> 
What I call a chainsaw bug, not a papercut bug ...

Okay, I've only really skimmed the thread, but if you pass a valid font
name and it mis-interprets it as a font-family, that's nasty.

Down to the usual argument about "is a space part of a token, or a token
separator?", I guess ...

Cheers,
Wol



reply via email to

[Prev in Thread] Current Thread [Next in Thread]