On Thu, Jul 18, 2013 at 10:07 PM, Angelo Graziosi
<angelo.graziosi@alice.it> wrote:
I guess these changes are the culprit:
=========================
2013-07-18 Juanma Barranquero
* keyboard.c (kbd_buffer_get_event):
* w32term.c (x_focus_changed): Port FOCUS_(IN|OUT)_EVENT changes to
W32.
Followup to revno:113431.
=========================
Does it work with the following patch?
=== modified file 'src/keyboard.c'
--- src/keyboard.c 2013-07-18 16:50:05 +0000
+++ src/keyboard.c 2013-07-18 20:22:48 +0000
@@ -4066,7 +4066,7 @@
}
else if (event->kind == FOCUS_OUT_EVENT)
{
-#if defined (HAVE_NS) || defined (HAVE_X11) || defined (WINDOWSNT)
+#if defined (HAVE_NS) || defined (HAVE_X11) || defined (HAVE_NTGUI)
#ifdef HAVE_NS
struct ns_display_info *di;
@@ -4080,7 +4080,7 @@
focused = FRAME_X_DISPLAY_INFO (di)->x_highlight_frame = 0;
if (! focused) obj = make_lispy_focus_out (frame);
-#endif /* HAVE_NS || HAVE_X11 || WINDOWSNT */
+#endif /* HAVE_NS || HAVE_X11 || HAVE_NTGUI */
kbd_fetch_ptr = event + 1;
}