bug#25906: 25.1; strange behavior of overlapped mouse-face

[Eli Zaretskii]

> From: Glenn Morris <rgm@gnu.org>
> Cc: npostavs@users.sourceforge.net,  25906@debbugs.gnu.org,  ynyaaa@gmail.com
> Date: Thu, 02 Mar 2017 15:42:00 -0500
> 
> Eli Zaretskii wrote:
> 
> 
> > Please describe what was expected in each case, so we are sure we are
> > on the same page.
> 
> I expect expect the appearance of the display when the cursor is at some
> point (BBB) to not depend on how it got there.

I agree.  This should already happen after my recent changes.

If this is the only issue with the original behavior, then this bug
can be closed.