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

[Eli Zaretskii]

> From: João Távora <address@hidden>
> Date: Mon, 28 Jan 2019 20:39:41 +0000
> Cc: emacs-devel <address@hidden>
> 
> 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.

Yes, that would be good.

> I had no idea 'face' was reserved (how could/can I I know this)?

No need to feel bad, I learned that very recently myself.

> Wouldn't another (perhaps uglier, but easier) fix amount to renaming the
> face 'flymake-error-face'?

Not sure how that would help in this matter.

> 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.

There's no rush.