[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fwd: Flymake and the 'face' property
From: |
João Távora |
Subject: |
Re: Fwd: Flymake and the 'face' property |
Date: |
Tue, 29 Jan 2019 18:49:12 +0000 |
Thanks Johan, but this should be legal as long as rng-error
is *not* used as the name for a face.
But indeed I think Eli's rule-of-thumb is wrong there.
João
On Tue, Jan 29, 2019 at 6:34 PM Johan Bockgård <address@hidden> wrote:
>
> Eli Zaretskii <address@hidden> writes:
>
> >> Now, flymake.el happened to be unlucky enough to store these
> >> properties in the plist of a symbol which, by doubling as a face
> >> symbol, already had some implementation-specific a meaning for some
> >> of those properties.
> >
> > A 'face' property is documented for general use only for text, not for
> > symbol plists.
>
> The `category' feature for text/overlays uses symbol plists to define
> its default properties. `face' is probably one the more common
> properties to use in a category. Let's see...
>
>
> ...a few minutes later, I find this in rng-valid.el:
>
>
> (defface rng-error '((t (:inherit font-lock-warning-face)))
> [...]
> (overlay-put overlay 'category 'rng-error)
> [...]
> (put 'rng-error 'face 'rng-error)
--
João Távora
- 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), João Távora, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, Daniel Colascione, 2019/01/29
- Re: Fwd: Flymake and the 'face' property, 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), 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 <=
- 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, 2019/01/29
- 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