[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: |
Ulrich Mueller |
|
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
|
Date: |
Tue, 24 Oct 2023 10:21:11 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>>>>> 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.
- 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, Alan Mackenzie, 2023/10/23
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