[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59888: [PATCH] Add 'grep-use-headings'
From: |
Robert Pluim |
Subject: |
bug#59888: [PATCH] Add 'grep-use-headings' |
Date: |
Mon, 27 Feb 2023 07:24:19 +0100 |
>>>>> On Sun, 26 Feb 2023 16:07:13 +0100, Augusto Stoffel <arstoffel@gmail.com>
>>>>> said:
Augusto> On Sun, 26 Feb 2023 at 14:17, Robert Pluim wrote:
>> You also add a face and a user option for the regexp, they should be
>> mentioned in NEWS (and the manual, if relevant)
Augusto> Thanks, I added the face to the NEWS (but not the regexp, which is
not a
Augusto> user option although it can be modified if you are desperate).
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'.
Robert
--
- 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