[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Non-ASCII characters in Info files produced by Texinfo 7.1
From: |
Manuel Giraud |
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
Date: |
Tue, 24 Oct 2023 11:39:36 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Ulrich Mueller <ulm@gentoo.org> writes:
>>>>>> On Tue, 24 Oct 2023, Manuel Giraud wrote:
>
>> For ` and ', I think we should take the new behaviour. It is less
>> unsettling than the en-dash and while a "C-s Don't" works out of the box
>> in Info-mode it does not work with "M-x occur" for instance.
>
> IMHO the grave accent U+0060 looks horrible as a quotation mark,
> especially with modern fonts.
Yes, you're right. It is not a problem for the font I'm using right now
but the ugliness is quite font-dependent.
--
Manuel Giraud
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, (continued)
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Yuri Khan, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Manuel Giraud, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Manuel Giraud, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Manuel Giraud, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Alan Mackenzie, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/26