Re: address@hidden: RE: moving overlay loses its priority?]

[Richard Stallman]

    I've checked in a fix into show_help_echo.  Now, when we are tracking
    the mouse, we save the mouse_moved flag and restore it after the call
    to mouse-fixup-help-message.

Thanks for fixing this.