[RP] Mouse warp on window deletion

[Magnus Henoch]

Hi,

I found a bug regarding mouse warping: when a window loses focus due to
being deleted, the mouse is not warped for the window that pops up, but
stays where it was for the old window.

To reproduce, open two xterms, and move the pointer to different locations
for each.  Toggle between them, and see the pointer warping accordingly.
Close one, either with C-t k or by typing "exit", and the pointer doesn't
move.

The attached patch fixes the bug.  It is the result of a very quick source
browsing session, and I make no claims about it being the Right Thing, but
hopefully it can point someone more confident about the code in the right
direction.

Regards,
Magnus Henoch

rp_warp.patch
Description: Text document