[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view
From: |
Tassilo Horn |
Subject: |
bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view |
Date: |
Sun, 29 Sep 2024 16:03:54 +0200 |
User-agent: |
mu4e 1.12.6; emacs 31.0.50 |
"Jose A. Ortega Ruiz" <jao@gnu.org> writes:
>> I think I'd prefer to delay the creation of the index until imenu is
>> invoked the first time and get rid of doc-view-imenu-enabled. If we
>> really wanted to and the requirements are met, we could also run the
>> index creation in an idle-timer. Probably not by default but maybe by
>> adding and documenting a function one could add to doc-view-mode-hook
>> for that purpose.
>
> FWIW, I'd keep doc-view-imenu-enabled, and use it to control the
> creation of the idle timer. The latter sounds like the right solution
> to avoid delays, and the former a much simpler strategy than asking
> users to configure hooks.
Also fine with me. Visuwesh, would you like to proceed in that
direction?
Thanks,
Tassilo
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Visuwesh, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Eli Zaretskii, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Tassilo Horn, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Visuwesh, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Eli Zaretskii, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Tassilo Horn, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, jao, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Tassilo Horn, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Jose A. Ortega Ruiz, 2024/09/28
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view,
Tassilo Horn <=
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Visuwesh, 2024/09/29
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Tassilo Horn, 2024/09/29
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Visuwesh, 2024/09/29
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Tassilo Horn, 2024/09/29
- bug#73530: [PATCH] Add imenu index function for Djvu files in doc-view, Visuwesh, 2024/09/30