GNU bug report logs - #54961
28.1; info-display-manual completions issues

Previous Next

Full log

Message #62 received at 54961 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 54961 <at> debbugs.gnu.org, alan <at> idiocy.org, hmelman <at> gmail.com, larsi <at> gnus.org,
 juri <at> linkov.net
Subject: Re: bug#54961: 28.1; info-display-manual completions issues
Date: Wed, 20 Apr 2022 08:39:59 +0300

> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
> Cc: Howard Melman <hmelman <at> gmail.com>,  alan <at> idiocy.org,  juri <at> linkov.net,
>   larsi <at> gnus.org,  54961 <at> debbugs.gnu.org
> Date: Tue, 19 Apr 2022 15:28:37 -0400
> 
> 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.
> 
> ?

Yes, in a function deceptively named Info-dir-remove-duplicates.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.