[gtk+/xi2] Make leave events unset the device window.

[Carlos Garnacho <carlosg src gnome org>]

commit 09f9243456122c5999105afda27e80b8aa0b5d02
Author: Carlos Garnacho <carlos gnome org>
Date:   Sat Jan 9 13:34:04 2010 +0100

    Make leave events unset the device window.

 gtk/gtkmain.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index 0fa48df..de9aab0 100644
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1622,6 +1622,7 @@ gtk_main_do_event (GdkEvent *event)
       break;
       
     case GDK_LEAVE_NOTIFY:
+      _gtk_widget_set_device_window (event_widget, event->crossing.device, NULL);
       if (GTK_WIDGET_IS_SENSITIVE (grab_widget))
 	gtk_widget_event (grab_widget, event);
       break;