Re: Mouse highlighting occurs only after movements

[Richard Stallman]

    Had this in Gnus: if the mouse pointer is in a screen position where
    mouse highlighting would occur when the Gnus Summary buffer gets
    updated after a Gnus command, after the update the line which happened
    to pop up with the mouse highlit area right under the mouse pointer is
    not getting the mouse highlighting (only after the mouse pointer
    moves).

I seem to recall adding a feature like that.
People asked for it.

      The crazy thing is that if the cursor is blinking in the
    should-be-highlighted-but-is-not-yet area, it is blinking in green,
    while the rest of the line still looks ordinary B&W.

I wonder if the code that redisplays the cursor checks the properties
rather than the status of mouse highlighting.  Can someone check that?