[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Local face remapping
From: |
JD Smith |
Subject: |
Re: Local face remapping |
Date: |
Wed, 4 Oct 2023 14:48:22 -0400 |
> On Oct 4, 2023, at 12:54 PM, Eli Zaretskii <eliz@gnu.org> wrote:
>
> Use different faces?
Ha. Yes, of course you can can find and replace all the relevant faces in a
region, but given that face-remapping-alist already does this efficiently for
the entire buffer, I had hoped a similar region-constrained / overlay-based
functionality might exist. I’ll take that as a no :).