[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: strange result for escaping "\" with other font-name
From: |
David Kastrup |
Subject: |
Re: strange result for escaping "\" with other font-name |
Date: |
Fri, 04 Sep 2015 10:58:06 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
Thomas Morley <address@hidden> writes:
> 2015-09-04 7:57 GMT+02:00 Werner LEMBERG <address@hidden>:
>
>> > trying to escape "\" in a string leads to strange results, for some
>> > font-names.
>> > Example below was ok with 2.18.2
>> >
>> > \version "2.19.26"
>> >
>> > \markup \override #'(font-name . "Times New Roman") "\\<==what?"
>>
>> The displayed font is definitely not `Times New Roman'. It seems that
>> the font substituted by FontConfig is a CJK font using half-width
>> glyphs, and there it sometimes happens that the `\' slot gets replaced
>> with the Yen sign `¥', for compatibility with ancient Japanese
>> practice.
>>
>
> Agreed, so far.
>
>>
>> I think there is nothing to be done here, since it displays a font
>> problem (or bug).
>>
>
> Though, if 2.18.2 displays nicely (and it does), I'd tend to think
> something on our part causes this misbehahiour.
> (Ofcourse "Times New Roman" _is_ installed)
Well, at least it's not related to "trying to escape "\" in a string"
but with the attempt to print a backslash. It would appear that our
font configuration still could afford some połish.
--
David Kastrup
- strange result for escaping "\" with other font-name, Thomas Morley, 2015/09/03
- Re: strange result for escaping "\" with other font-name, Werner LEMBERG, 2015/09/04
- Re: strange result for escaping "\" with other font-name, Thomas Morley, 2015/09/04
- Re: strange result for escaping "\" with other font-name,
David Kastrup <=
- Re: strange result for escaping "\" with other font-name, Werner LEMBERG, 2015/09/04
- Re: strange result for escaping "\" with other font-name, Masamichi Hosoda, 2015/09/04
- Re: strange result for escaping "\" with other font-name, Thomas Morley, 2015/09/04
- Re: strange result for escaping "\" with other font-name, Thomas Morley, 2015/09/04
- Re: strange result for escaping "\" with other font-name, Masamichi HOSODA, 2015/09/04
- Re: strange result for escaping "\" with other font-name, Thomas Morley, 2015/09/05
- Re: strange result for escaping "\" with other font-name, Masamichi HOSODA, 2015/09/05
- Re: strange result for escaping "\" with other font-name, Thomas Morley, 2015/09/05
- Re: strange result for escaping "\" with other font-name, Masamichi HOSODA, 2015/09/05
- Re: strange result for escaping "\" with other font-name, Thomas Morley, 2015/09/05