# HG changeset patch # User Karl Heuer # Date 767314533 0 # Node ID e7afa8046b41561b015045d378b5aaebe907ff25 # Parent 3aaa031a8fe4a1712ef657513238033651b34547 (XTmouse_position, XTread_socket): Don't use last_mouse_frame if it's dead. diff -r 3aaa031a8fe4 -r e7afa8046b41 src/xterm.c --- a/src/xterm.c Mon Apr 25 22:32:24 1994 +0000 +++ b/src/xterm.c Mon Apr 25 22:55:33 1994 +0000 @@ -2485,7 +2485,7 @@ win = root; - if (x_mouse_grabbed) + if (x_mouse_grabbed && FRAME_LIVE_P (last_mouse_frame)) { /* If mouse was grabbed on a frame, give coords for that frame even if the mouse is now outside it. */ @@ -3993,7 +3993,7 @@ #ifdef HAVE_X11 case MotionNotify: { - if (x_mouse_grabbed) + if (x_mouse_grabbed && FRAME_LIVE_P (last_mouse_frame)) f = last_mouse_frame; else f = x_window_to_frame (event.xmotion.window);