[gtk+/wip/wayland-tablet: 40/60] gdk: Forward tools in client-side windows event translation

[Carlos Garnacho <carlosg src gnome org>]

commit 50d02d752f02ba56ae1e86869f2c4170c1392217
Author: Carlos Garnacho <carlosg gnome org>
Date:   Tue Apr 5 14:33:24 2016 +0200

    gdk: Forward tools in client-side windows event translation

 gdk/gdkwindow.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gdk/gdkwindow.c b/gdk/gdkwindow.c
index 7daed58..725b712 100644
--- a/gdk/gdkwindow.c
+++ b/gdk/gdkwindow.c
@@ -9039,6 +9039,7 @@ proxy_pointer_event (GdkDisplay                 *display,
       gdk_event_set_device (event, gdk_event_get_device (source_event));
       gdk_event_set_source_device (event, source_device);
       gdk_event_set_seat (event, gdk_device_get_seat (device));
+      gdk_event_set_device_tool (event, gdk_event_get_device_tool (source_event));
 
       if (event_type == GDK_TOUCH_UPDATE)
        {
@@ -9280,6 +9281,7 @@ proxy_button_event (GdkEvent *source_event,
       gdk_event_set_device (event, gdk_event_get_device (source_event));
       gdk_event_set_source_device (event, source_device);
       gdk_event_set_seat (event, gdk_device_get_seat (device));
+      gdk_event_set_device_tool (event, gdk_event_get_device_tool (source_event));
 
       if (is_touch_type (source_event->type))
         {