[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fwd: Flymake and the 'face' property
From: |
Eli Zaretskii |
Subject: |
Re: Fwd: Flymake and the 'face' property |
Date: |
Tue, 29 Jan 2019 21:48:33 +0200 |
> From: João Távora <address@hidden>
> Date: Tue, 29 Jan 2019 19:33:33 +0000
> Cc: Johan Bockgård <address@hidden>,
> emacs-devel <address@hidden>
>
> > > > A 'face' property is documented for general use only for text, not for
> > > > symbol plists.
> > > (put 'rng-error 'face 'rng-error)
> >
> > I don't see how this contradicts what I said. Do you?
>
> Well you did say that 'face should *not* be put on symbol plists,
> but the documentation and the code states otherwise.
A single well-documented exception doesn't invalidate the rule.
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), (continued)
- 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), 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), João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Johan Bockgård, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property,
Eli Zaretskii <=
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Stefan Monnier, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, João Távora, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, Stefan Monnier, 2019/01/30
- Re: Fwd: Flymake and the 'face' property, Eli Zaretskii, 2019/01/30
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Daniel Colascione, 2019/01/29