[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: |
Stefan Kangas |
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
Date: |
Tue, 24 Oct 2023 01:52:04 -0700 |
Visuwesh <visuweshm@gmail.com> writes:
> AFAIK, this is already true for `, see isearch-fold-quotes-mode.
Thanks, I didn't know that variable. It should be enabled by default in
Info mode, and perhaps Help mode too.
> We can extend it to other similar replacements too.
That would be useful, indeed.
- Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/23
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Stefan Kangas, 2023/10/23
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Visuwesh, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1,
Stefan Kangas <=
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Visuwesh, 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, Juri Linkov, 2023/10/25
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/25
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/25
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Gerd Möllmann, 2023/10/25
Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Alan Mackenzie, 2023/10/23