bug#14744: 24.3.50; Flickering mouse-face on process output

[Christopher Schmidt]

Eli Zaretskii <eliz@gnu.org> writes:
> Thanks.  For the record, here's what happens:
[...]

Thanks for the thorough explanation of what's going on.

> I guess one way of fixing this problem would be to modify comint.el
> not to use overlays for this purpose.

This works around the underlying issue.  There are other real use cases
in which, due to whatever reason, a redisplay is enforced and this
artifact appears.

        Christopher