Re: Bug in incremental undrawing of mouseover highlighting

[Eli Zaretskii]

> Date: Sat, 25 Nov 2006 16:28:04 +0900
> From: YAMAMOTO Mitsuharu <address@hidden>
> Cc: Bob Rogers <address@hidden>, address@hidden
> 
> Also, I think this is a bad timing to commit such a change for a
> non-critical bug without approval by some expert.

I don't consider myself much of a redisplay expert, but I did express
a (different) concern for the patch as posted, a concern that
seemingly had no effect whatsoever.