[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6227: Color isearch regexp submatches differently
From: |
Lars Ingebrigtsen |
Subject: |
bug#6227: Color isearch regexp submatches differently |
Date: |
Mon, 21 Sep 2020 15:48:00 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> That's true, but the problem which bothers me is that customizing
> search-highlight-submatches alone to a larger value is not enough. I
> don't think any other customization we have requires users to create
> faces or similar objects.
That's true... OK, I'll just add the remaining four faces, and then
make the variable a boolean toggle, because (as Drew notes) nobody is
going to want to customise the number of sub-expressions, really.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#6227: Color isearch regexp submatches differently, (continued)
- bug#6227: Color isearch regexp submatches differently, Eli Zaretskii, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Lars Ingebrigtsen, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Eli Zaretskii, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Lars Ingebrigtsen, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Lars Ingebrigtsen, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Eli Zaretskii, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Lars Ingebrigtsen, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Drew Adams, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Eli Zaretskii, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Drew Adams, 2020/09/21
- bug#6227: Color isearch regexp submatches differently,
Lars Ingebrigtsen <=
- bug#6227: Color isearch regexp submatches differently, Drew Adams, 2020/09/20
- bug#6227: Color isearch regexp submatches differently, Eli Zaretskii, 2020/09/20