[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: |
Sun, 26 Feb 2023 16:07:13 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
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)
Thanks, I added the face to the NEWS (but not the regexp, which is not a
user option although it can be modified if you are desperate).
> Augusto> + (forward-line 0)
>
> Thatʼs the same as (goto-char (pos-bol)) because of a wrinkle in the
> implementation of `forward-line'. It might even be faster, but Iʼve
> not measured it :-)
Ugh, that was an anachronism. It will be fixed when I send the final
patch.
- 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',
Augusto Stoffel <=
- 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