Re: Redundant font-locking in comint buffers

[Richard Stallman]

I see nothing wrong with this change, but it occurs to me that, later
on, we might want to do something so that text property changes alone
won't cause refontification.  If fontification does not depend on
text properties, then that is generally correct.