[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Search multiple Info-buffers at once with Info-occur function
From: |
Eli Zaretskii |
Subject: |
Re: Search multiple Info-buffers at once with Info-occur function |
Date: |
Sat, 29 May 2021 17:40:52 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Eli Zaretskii <eliz@gnu.org>, dalanicolai@gmail.com, emacs-devel@gnu.org
> Maybe info-look.el can be extended with:
> - a way for the user to specify (even interactively) a particular set of
> of manuals to use in a particular buffer.
> - a heuristic to find symbols in manuals without any manually curated
> description of what constitutes a symbol.
>
> Maybe that heuristic could then be "upstreamed" into a formally defined
> and documented Texinfo convention that future manual authors would be
> expected to follow?
Sounds like a good natural extension of what we have now, yes.
- Re: Search multiple Info-buffers at once with Info-occur function, (continued)
- Re: Search multiple Info-buffers at once with Info-occur function, Eli Zaretskii, 2021/05/24
- Re: Search multiple Info-buffers at once with Info-occur function, dalanicolai, 2021/05/25
- Re: Search multiple Info-buffers at once with Info-occur function, dalanicolai, 2021/05/25
- Re: Search multiple Info-buffers at once with Info-occur function, Augusto Stoffel, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, Eli Zaretskii, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, Augusto Stoffel, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, Eli Zaretskii, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, Augusto Stoffel, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, Eli Zaretskii, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, Stefan Monnier, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function,
Eli Zaretskii <=
- Re: Search multiple Info-buffers at once with Info-occur function, dalanicolai, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, dalanicolai, 2021/05/29
- Re: Search multiple Info-buffers at once with Info-occur function, Eli Zaretskii, 2021/05/23
- RE: [External] : Re: Search multiple Info-buffers at once with Info-occur function, Drew Adams, 2021/05/23
- Re: [External] : Re: Search multiple Info-buffers at once with Info-occur function, dalanicolai, 2021/05/24
- RE: [External] : Re: Search multiple Info-buffers at once with Info-occur function, Drew Adams, 2021/05/24
- Re: [External] : Re: Search multiple Info-buffers at once with Info-occur function, dalanicolai, 2021/05/25
- RE: [External] : Re: Search multiple Info-buffers at once with Info-occur function, Drew Adams, 2021/05/25
- Re: [External] : Re: Search multiple Info-buffers at once with Info-occur function, dalanicolai, 2021/05/25
- Measuring execution time of a function, Stefan Monnier, 2021/05/23