[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58131: [PATCH] docview: new customization options for imenu
From: |
Jose A Ortega Ruiz |
Subject: |
bug#58131: [PATCH] docview: new customization options for imenu |
Date: |
Wed, 28 Sep 2022 03:21:31 +0100 |
Tags: patch
A follow up to bug#58103 with a little fix for section title extraction
and a couple of easy to implement customizable options. I've tried to
document them clearly enough in the docstrings and then just mention
their existence in the manual: is that a good practice or do we prefer
some duplication?
Cheers,
jao
In GNU Emacs 29.0.50 (build 20, x86_64-pc-linux-gnu, cairo version
1.16.0) of 2022-09-27 built on rivendell
Repository revision: 7368cdd359325cb6ed83688178ae4b4eaf22f4d5
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12101004
System Description: Debian GNU/Linux bookworm/sid
Configured using:
'configure --prefix=/usr/local/stow/emacs29 --with-x-toolkit=no
--with-imagemagick -C'
0001-docview-new-customization-options-for-imenu.patch
Description: Text Data
--
Too often we enjoy the comfort of opinion without the discomfort of
thought. -John F. Kennedy, 35th US president (1917-1963)
- bug#58131: [PATCH] docview: new customization options for imenu,
Jose A Ortega Ruiz <=
- bug#58131: [PATCH] docview: new customization options for imenu, Lars Ingebrigtsen, 2022/09/28
- bug#58131: [PATCH] docview: new customization options for imenu, Eli Zaretskii, 2022/09/28
- bug#58131: [PATCH] docview: new customization options for imenu, Jose A Ortega Ruiz, 2022/09/28
- bug#58131: [PATCH] docview: new customization options for imenu, Eli Zaretskii, 2022/09/28
- bug#58131: [PATCH] docview: new customization options for imenu, Jose A Ortega Ruiz, 2022/09/28
- bug#58131: [PATCH] docview: new customization options for imenu, Eli Zaretskii, 2022/09/28
- bug#58131: [PATCH] docview: new customization options for imenu, Jose A Ortega Ruiz, 2022/09/28
- bug#58131: [PATCH] docview: new customization options for imenu, Eli Zaretskii, 2022/09/28