[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34764: prettify-symbols-mode pollutes font-lock-extra-keywords
|
From: |
Clément Pit-Claudel |
|
Subject: |
bug#34764: prettify-symbols-mode pollutes font-lock-extra-keywords |
|
Date: |
Wed, 30 Oct 2019 16:57:54 -0400 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
On 2019-10-30 15:30, Lars Ingebrigtsen wrote:
> Clément Pit-Claudel <cpitclaudel@gmail.com> writes:
>
>> Font font-lock-extra-managed-props, at least,
>> char-property-alias-alist seems perfect: you can declare my-abc to be
>> an alias of abc, add my-abc to char-property-alias-alist when the
>> minor mode gets activated, remove it when it gets deactivated, and as
>> a bonus when clearing fontification font-lock will only clear the
>> instances of abc that it applied itself. Very neat.
>
> Sounds like a good idea. Did you work up a patch along these lines?
No, I didn't; I didn't find the time to :/