Re: address@hidden: font-lock applied to comint prompts]

[Stefan Monnier]

>> If you can put the `face' property on the overlay
>> only when the text it is over has a `face' property,
>> then I think it will be correct, because when Font-Lock is off
>> it won't do anything.  Could you do it that way?
> I tried this and it's no-go.  The face due to font-lock isn't getting
> applied until after the prompt is processed in the output filter.  I'm far
> beyond my expertise here so I'll drop this.

Why not do the opposite: check the presence of a font-lock-face char
property before returning a non-nil face in font-lock-keywords.


        Stefan