[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41766: Make it possible to change regexp to identify and highlight g
|
From: |
Eli Zaretskii |
|
Subject: |
bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization |
|
Date: |
Tue, 09 Jun 2020 17:43:43 +0300 |
> From: "Basil L. Contovounesios" <contovob@tcd.ie>
> Date: Tue, 09 Jun 2020 12:55:25 +0100
> Cc: "41766@debbugs.gnu.org" <41766@debbugs.gnu.org>,
> Dmitry Gutov <dgutov@yandex.ru>, Juri Linkov <juri@linkov.net>
>
> I wonder, though: the default value matches some quite obscure codes
> which aren't (and maybe shouldn't be) documented, so is a defcustom
> really suitable for this?
They are SGR escape sequences that Grep emits to color its output. We
should probably mention that in the doc string.
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/08
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Juri Linkov, 2020/06/08
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Dmitry Gutov, 2020/06/08
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/09
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization,
Eli Zaretskii <=
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Juri Linkov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Dmitry Gutov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Juri Linkov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Dmitry Gutov, 2020/06/10
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Juri Linkov, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Eli Zaretskii, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Simon Lang, 2020/06/13
- bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization, Dmitry Gutov, 2020/06/09