[gtk+/gtk-3-10] widget: emit synthesized crossing event with correct device position

[Matthias Clasen <matthiasc src gnome org>]

commit 8f78f357cccf916777eecada025ddb735a0a5633
Author: Lionel Landwerlin <llandwerlin gmail com>
Date:   Thu Jul 18 11:49:43 2013 +0100

    widget: emit synthesized crossing event with correct device position
    
    https://bugzilla.gnome.org/show_bug.cgi?id=704456

 gtk/gtkwidget.c |   11 +++++++++--
 1 files changed, 9 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index a9497b8..7b88742 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -11829,8 +11829,15 @@ synth_crossing (GtkWidget       *widget,
   event->crossing.send_event = TRUE;
   event->crossing.subwindow = g_object_ref (window);
   event->crossing.time = GDK_CURRENT_TIME;
-  event->crossing.x = event->crossing.y = 0;
-  event->crossing.x_root = event->crossing.y_root = 0;
+  gdk_device_get_position_double (device,
+                                  NULL,
+                                  &event->crossing.x_root,
+                                  &event->crossing.y_root);
+  gdk_window_get_device_position_double (window,
+                                         device,
+                                         &event->crossing.x,
+                                         &event->crossing.y,
+                                         NULL);
   event->crossing.mode = mode;
   event->crossing.detail = detail;
   event->crossing.focus = FALSE;