[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Flymake and the 'face' property (was: master cd06d17: Fix bug with f
From: |
Eli Zaretskii |
Subject: |
Re: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump) |
Date: |
Mon, 28 Jan 2019 22:57:32 +0200 |
> 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.
- Re: master cd06d17: Fix bug with face-id after restoring from pdump, Glenn Morris, 2019/01/28
- Re: master cd06d17: Fix bug with face-id after restoring from pdump, Eli Zaretskii, 2019/01/28
- Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Eli Zaretskii, 2019/01/28
- Re: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), João Távora, 2019/01/28
- Re: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump),
Eli Zaretskii <=
- Re: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), João Távora, 2019/01/28
- Re: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Eli Zaretskii, 2019/01/29
- Message not available
- Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Eli Zaretskii, 2019/01/29
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Daniel Colascione, 2019/01/29
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Eli Zaretskii, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Daniel Colascione, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/29
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Daniel Colascione, 2019/01/29