[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: |
Eli Zaretskii |
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
Date: |
Wed, 25 Oct 2023 15:31:52 +0300 |
> 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.
Why isn't it get turned on when some Help command is invoked next? I
use Help commands a lot, so if the above is the reason, the minor mode
should be back on upon the next C-h invocation.
- 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 <=
- 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
- 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