Re: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump)

[João Távora]

On Mon, Jan 28, 2019 at 8:12 PM Eli Zaretskii <address@hidden> wrote:

> IOW, the 'face' property of a face symbol is reserved and shouldn't be
> used by packages in any other way except as explained above.  Can
> Flymake please behave in this regard?

Sure, I guess it's a question of using the property flymake-face.
I had no idea 'face' was reserved (how could/can I I know this)?

Wouldn't another (perhaps uglier, but easier) fix amount to renaming the
face 'flymake-error-face'? I think both fixes would be backward-
incompatible, but not "much".

For any of those, I'm away from my Emacs development machine right now,
so it'll have to wait a couple of days, or you someone can beat me to it.


João