Re: Bug in incremental undrawing of mouseover highlighting

[Bob Rogers]

   From: Richard Stallman <address@hidden>
   Date: Mon, 25 Dec 2006 21:26:20 -0500

          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?

It does work correctly.

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

There weren't any properties on the yanked text in the other buffer,
AFAICS; it was that the dired highlight wasn't being undrawn if the
displayed text was the same in both buffers, regardless of properties.

                                        -- Bob