[gtk+/overlay-heuristics: 2/8] Update device timestamps

[Matthias Clasen <matthiasc src gnome org>]

commit 6c8d86c9bbf21f6b31b7e68b5dd31f5db10e2fab
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Nov 28 12:27:49 2014 -0500

    Update device timestamps
    
    Update device timestamps when a device is associated with an event.

 gdk/gdkevents.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gdk/gdkevents.c b/gdk/gdkevents.c
index 3d8d7bc..00ca18a 100644
--- a/gdk/gdkevents.c
+++ b/gdk/gdkevents.c
@@ -26,6 +26,7 @@
 
 #include "gdkinternals.h"
 #include "gdkdisplayprivate.h"
+#include "gdkdeviceprivate.h"
 
 #include <string.h>
 #include <math.h>
@@ -1504,6 +1505,7 @@ gdk_event_set_device (GdkEvent  *event,
     default:
       break;
     }
+  _gdk_device_set_time (device, gdk_event_get_time (event));
 }
 
 /**
@@ -1629,6 +1631,7 @@ gdk_event_set_source_device (GdkEvent  *event,
   private = (GdkEventPrivate *) event;
 
   private->source_device = device;
+  _gdk_device_set_time (device, gdk_event_get_time (event));
 }
 
 /**