[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#54961: 28.1; info-display-manual completions issues
From: |
Stefan Monnier |
Subject: |
bug#54961: 28.1; info-display-manual completions issues |
Date: |
Tue, 19 Apr 2022 15:28:37 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii [2022-04-19 21:55:34] wrote:
> If we want to support individual DIR files for each package, which
> would mean having the same section mentioned on multiple DIR files, I
> guess Info-insert-dir should be taught to rearrange the menu items
> such as that all the items from the same section wound up together.
> (This might make Info startup slower, though.)
Isn't that what `Info-insert-dir` does at the end after the
;; Now take each node of each of the other buffers
;; and merge it into the main buffer.
?
Stefan
- bug#54961: 28.1; info-display-manual completions issues, (continued)
- bug#54961: 28.1; info-display-manual completions issues, Howard Melman, 2022/04/16
- bug#54961: 28.1; info-display-manual completions issues, Lars Ingebrigtsen, 2022/04/16
- bug#54961: 28.1; info-display-manual completions issues, Juri Linkov, 2022/04/18
- bug#54961: 28.1; info-display-manual completions issues, Howard Melman, 2022/04/18
- bug#54961: 28.1; info-display-manual completions issues, Howard Melman, 2022/04/18
- bug#54961: 28.1; info-display-manual completions issues, Eli Zaretskii, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues, Howard Melman, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues, Eli Zaretskii, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues, Howard Melman, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues, Eli Zaretskii, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues,
Stefan Monnier <=
- bug#54961: 28.1; info-display-manual completions issues, Eli Zaretskii, 2022/04/20
- bug#54961: 28.1; info-display-manual completions issues, Stefan Monnier, 2022/04/20
- bug#54961: 28.1; info-display-manual completions issues, Eli Zaretskii, 2022/04/20
- bug#54961: 28.1; info-display-manual completions issues, Howard Melman, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues, Eli Zaretskii, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues, Juri Linkov, 2022/04/19
- bug#54961: 28.1; info-display-manual completions issues, Alan Third, 2022/04/20
- bug#54961: 28.1; info-display-manual completions issues, Howard Melman, 2022/04/20