Re: Fwd: Flymake and the 'face' property

[Stefan Monnier]

>> 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