Subject: Re: bug#12251: 24.2.50; crash in note_mouse_highlight

From: martin rudalics <[email-masked]>
Date: Thu, 23 Aug 2012 19:18:34 +0200

>> Shouldn't the window be live here?
 >
 > definitely!

Can you try running it a while with such a check (that is, using
WINDOW_LIVE_P instead of WINDOWP)?

martin