GNU bug report logs - #78935
30.1.90; [PATCH] Let Imenu optionally allow duplicate menu entries

Previous Next

Full log

View this message in rfc822 format

From: Drew Adams <drew.adams <at> oracle.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: "78935 <at> debbugs.gnu.org" <78935 <at> debbugs.gnu.org>
Subject: bug#78935: 30.1.90; [PATCH] Let Imenu optionally allow duplicate menu entries
Date: Sun, 6 Jul 2025 15:03:13 +0000

[Message part 1 (text/plain, inline)]

> It is best if you could download NEWS from the master branch, and
> produce a patch for that.  Failing that, the entry itself would do.

I don't know how to do that - dunno where it's available
for download using a browser.  Here is the NEWS entry:

*** New user option 'imenu-allow-duplicate-menu-items'.
This specifies whether Imenu can include duplicate menu items.
Duplicate items are allowed by default (option value 't').

> > Also, do you prefer that `-flag' be removed from the name?
> Yes, please.

Done.  See attached imenu.el patch and patched file.

Thx.

[imenu-patch-2025-07-06a.patch (application/octet-stream, attachment)]

[imenu-patched-2025-07-06a.el (application/octet-stream, attachment)]

Previous Next

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