Subject: bug#9904: 24.0.90; Crash in show_mouse_face

From: Chong Yidong <[email-masked]>
Date: Sun, 12 Feb 2012 12:31:51 +0800

Eli Zaretskii <[email-masked]> writes:

> Maybe we should invalidate mouse_face_window inside
> delete-window-internal, to make sure this window is no longer
> referenced in dpyinfo->mouse_highlight->hlinfo?

Since no one has come up with a better suggestion, I implemented this.
Closing the bug; if the crash recurs, feel free to reopen.