[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fwd: Flymake and the 'face' property
From: |
Stefan Monnier |
Subject: |
Re: Fwd: Flymake and the 'face' property |
Date: |
Wed, 30 Jan 2019 15:56:30 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
>> But the `category` text-property uses as text-properties the properties
>> of a symbol, so there is a real conflict in our current design.
> The 'category' symbols aren't faces,
They can be. And even if they're not they may end up passed to `facep`.
> so there's no problem here.
I think you're minimizing the problem ;-)
> I think you greatly exaggerate the importance of this incident.
No I definitely do not claim it's a big deal. But it points out a flaw
in a corner of our design, and it's pretty clear what is the right fix,
so I think it's worth evaluating how hard/easy it would be to fix
it right.
> So I see no reason to waste any more energy on this.
Please don't then. Other people may be motivated by these kinds of
"unproductive" changes and I see no reason to discourage them.
Stefan
- Re: Fwd: Flymake and the 'face' property, (continued)
- 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, 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 <=
- 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