[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: |
Gerd Möllmann |
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
Date: |
Wed, 25 Oct 2023 15:12:12 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Juri Linkov <juri@linkov.net>
>> Cc: Visuwesh <visuweshm@gmail.com>, stefankangas@gmail.com,
>> emacs-devel@gnu.org
>> Date: Wed, 25 Oct 2023 09:45:39 +0300
>>
>> >> >> 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.
>> >>
>> >> It is enabled from Emacs 29 apparently:
>> >
>> > It is enabled by default, but after some time in a long-running Emacs
>> > session, it somehow gets turned off. If someone can debug and fix
>> > this, please do.
>>
>> It gets turned off as soon as you prefer to use other search type,
>> such as regexp/word search. It can't match quotes in a regexp search.
>
> I don't believe this is the case here: I almost never use other search
> types, I barely even need to use Isearch in the *Help* buffers. It
> must be something else...
Maybe you could use add-variable-watcher?
- 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, 2023/10/24
- 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 <=
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