Re: Bug in incremental undrawing of mouseover highlighting

[Richard Stallman <rms@gnu.org>]

       4.  "C-x b RET" to get back to the dired buffer, and move the mouse
    over a file name so that it is highlighted in green.

       5.  "C-x b RET" to return to *scratch*.  Notice that the same
    characters in the same position are still highlighted in green.

       6.  Move the mouse to a different file name.  Usually the
    highlighting goes away, but sometimes it doesn't (and it doesn't
    correlate with fontification).  If it does persist, type "C-x b RET" to
    return once more to the dired buffer, and there will be two green file
    names -- this can be repeated until every file name is green.

This does not fail for me in the latest sources.  Does it still fail
for you with the latest sources?

(Yanking is supposed to delete the properties that would cause
mouse-highlighting, and yanking into *scratch* should also delete
face properties.)