[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: strange result for escaping "\" with other font-name
From: |
Thomas Morley |
Subject: |
Re: strange result for escaping "\" with other font-name |
Date: |
Fri, 4 Sep 2015 10:51:16 +0200 |
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)
Cheers,
Harm
- 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 <=
- Re: strange result for escaping "\" with other font-name, David Kastrup, 2015/09/04
- 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