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

From: Lars Ingebrigtsen <[email-masked]>
Date: Wed, 30 Oct 2019 20:30:51 +0100

Clément Pit-Claudel <[email-masked]> 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?

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no