[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Conversion of ``quotes''
From: |
Jesper Harder |
Subject: |
Re: Conversion of ``quotes'' |
Date: |
Mon, 12 May 2003 17:00:10 +0200 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3.50 (gnu/linux) |
"Eli Zaretskii" <address@hidden> writes:
>> There's a small inconsistency in the way TeX-style ``quotes'' are
>> converted in Info files.
>>
>> They are usually correctly converted to "quotes", but not in menu
>> comment lines.
>
> That's because menu lines are rendered with a fixed-size typeface.
Sorry, I don't understand.
Menu comment lines are rendered in exactly the same (fixed-width)
typeface as the body text in both the stand-alone Info reader and
Emacs.
My point is that a literal ``'' looks really ugly (except in certain
old broken X fonts). So converting them to "" is clearly the right
thing, but this isn't done in menu lines.