[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59888: [PATCH] Add 'grep-use-headings'
From: |
Eli Zaretskii |
Subject: |
bug#59888: [PATCH] Add 'grep-use-headings' |
Date: |
Fri, 09 Dec 2022 22:29:10 +0200 |
> From: Augusto Stoffel <arstoffel@gmail.com>
> Cc: juri@linkov.net, stefankangas@gmail.com, 59888@debbugs.gnu.org,
> larsi@gnus.org
> Date: Fri, 09 Dec 2022 21:03:17 +0100
>
> > Thanks, but please find a better name for this property. Something
> > like compilation-meta-data, perhaps?
>
> All right, but since it's just a t-or-nil marking, I don't think
> metadata is a very good description. I considered 'compilation-info'
> but that seems related to compiler warnings and errors.
How about 'compilation-details'?
> I was looking for something that generally describes headers and
> footers, prefaces and epilogues, etc., but I'm missing a good word for
> that.
If "details" doesn't fit the bill, how about "decorations"?
- bug#59888: [PATCH] Add 'grep-heading-mode', (continued)
- bug#59888: [PATCH] Add 'grep-heading-mode', Eli Zaretskii, 2022/12/07
- bug#59888: [PATCH] Add 'grep-heading-mode', Stefan Kangas, 2022/12/07
- bug#59888: [PATCH] Add 'grep-heading-mode', Augusto Stoffel, 2022/12/08
- bug#59888: [PATCH] Add 'grep-heading-mode', Juri Linkov, 2022/12/09
- bug#59888: [PATCH] Add 'grep-heading-mode', Augusto Stoffel, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Eli Zaretskii, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings',
Eli Zaretskii <=
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/10
- bug#59888: [PATCH] Add 'grep-use-headings', Eli Zaretskii, 2022/12/10
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2022/12/11
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2022/12/15
- bug#59888: [PATCH] Add 'grep-use-headings', Gregory Heytings, 2022/12/09
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2022/12/10
bug#59888: [PATCH] Add 'grep-heading-mode', Mattias EngdegÄrd, 2022/12/08
bug#59888: [PATCH] Add 'grep-heading-mode', Juri Linkov, 2022/12/09