bug#34764: prettify-symbols-mode pollutes font-lock-extra-keywords

["Clément Pit-Claudel" <cpitclaudel@gmail.com>]

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 :/