[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59888: [PATCH] Add 'grep-use-headings'
From: |
Augusto Stoffel |
Subject: |
bug#59888: [PATCH] Add 'grep-use-headings' |
Date: |
Mon, 27 Feb 2023 12:26:08 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On Mon, 27 Feb 2023 at 07:24, Robert Pluim wrote:
> Itʼs a `defcustom', so by definition itʼs a user option. If youʼre not
> expecting it to be modified, maybe make it a `defvar'.
Oops, I wrote this a couple months back and had forgotten.
I don't know if you have an opinion. `grep-regexp-alist' is a defconst,
which seems exaggerated, but `grep-match-regexp' is a defcustom although
nobody should want to change this except to work around bugs.
My new variable has a similar "degree of technicality" and I think that
asks for be a defvar.
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2023/02/25
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/25
- bug#59888: [PATCH] Add 'grep-use-headings', Robert Pluim, 2023/02/26
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/27
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2023/02/27
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/27
- bug#59888: [PATCH] Add 'grep-use-headings', Juri Linkov, 2023/02/28
- bug#59888: [PATCH] Add 'grep-use-headings', Augusto Stoffel, 2023/02/28