GNU bug report logs - #73530
[PATCH] Add imenu index function for Djvu files in doc-view

Previous Next

Full log

View this message in rfc822 format

From: Tassilo Horn <tsdh <at> gnu.org>
To: Visuwesh <visuweshm <at> gmail.com>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 73530 <at> debbugs.gnu.org, "Jose A. Ortega Ruiz" <jao <at> gnu.org>
Subject: bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view
Date: Sat, 28 Sep 2024 20:11:45 +0200

Visuwesh <visuweshm <at> gmail.com> writes:

>>> doc-view-imenu-enabled
>>
>> Indeed.  And while we are here: doesn anyone know why we have an
>> option to disable imenu support?  I see that we have that since Jose
>> contributed the initial imenu support but why?  I can't see any harm
>> done if it was always enabled and would give a user-error like "For
>> imenu support for XXX files, program YYY has to be installed" or
>> something when invoking imenu.  And why someone might want to disable
>> it even if the required program is available is beyond my
>> imagination.  I mean, if you don't want to use imenu, then just don't
>> invoke it...
>
> I was wondering the same thing, especially since the cost of making the
> imenu index is not that high.

So lets ask Jose (added to Cc).

Bye,
  Tassilo

Previous Next

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