From 7849590a82bb40dffdc40eb5bdd3c6ad239c00cc Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Thu, 25 Mar 2021 22:39:15 -0400 Subject: [PATCH] gdk: Add gdk_device_get_timestamp Give each device a timestamp that reflects the last user activity with that device, as reflected in the events that are produced for this device. --- gdk/gdkevents.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gdk/gdkevents.c b/gdk/gdkevents.c index f7abfe75b5..43e9c9f01a 100644 --- a/gdk/gdkevents.c +++ b/gdk/gdkevents.c @@ -414,6 +414,9 @@ gdk_event_alloc (GdkEventType event_type, event->device = device != NULL ? g_object_ref (device) : NULL; event->time = time_; + if (device != NULL && time_ != GDK_CURRENT_TIME) + gdk_device_set_timestamp (device, time_); + return event; }