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

[Miles Bader]

Michael Mauger <address@hidden> writes:
> The following patch seems to fix the problem by adding the face property to
> the overlay as well.

That's not correct though -- using `font-lock-face' instead of `face'
was intentional, to allow highlighting to be toggled using M-x font-lock.

I suppose the right solution is to make the font-lock expressions used
by comint avoid any region that's inside a prompt, but I don't know how
to do that.

-Miles

-- 
`Suppose Korea goes to the World Cup final against Japan and wins,' Moon said.
`All the past could be forgiven.'   [NYT]