[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:17:54 +0200 |
> From: Johan Bockgård <address@hidden>
> Cc: João Távora <address@hidden>,
> address@hidden
> Date: Tue, 29 Jan 2019 19:34:08 +0100
>
> > 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)
I don't see how this contradicts what I said. Do you?
- Re: Fwd: Flymake and the 'face' property, (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, 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, 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
- Re: Fwd: Flymake and the 'face' property (was: master cd06d17: Fix bug with face-id after restoring from pdump), Daniel Colascione, 2019/01/29