From a27511ff2fcfc76e05203ed9cc4000649a4b0961 Mon Sep 17 00:00:00 2001 From: Po Lu Date: Sat, 1 Jan 2022 15:23:55 +0800 Subject: [PATCH] Set display last user time when handling pinch events * src/xterm.c (handle_one_xevent): Set last user time for XI pinch events. --- src/xterm.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/xterm.c b/src/xterm.c index d3d85a9e0de..48bf8eb7ddd 100644 --- a/src/xterm.c +++ b/src/xterm.c @@ -11106,6 +11106,8 @@ handle_one_xevent (struct x_display_info *dpyinfo, case XI_GesturePinchBegin: case XI_GesturePinchUpdate: { + x_display_set_last_user_time (dpyinfo, xi_event->time); + #ifdef HAVE_USABLE_XI_GESTURE_PINCH_EVENT XIGesturePinchEvent *pev = (XIGesturePinchEvent *) xi_event; struct xi_device_t *device = xi_device_from_id (dpyinfo, pev->deviceid); @@ -11146,6 +11148,8 @@ handle_one_xevent (struct x_display_info *dpyinfo, } case XI_GesturePinchEnd: { + x_display_set_last_user_time (dpyinfo, xi_event->time); + #if defined HAVE_XWIDGETS && HAVE_USABLE_XI_GESTURE_PINCH_EVENT XIGesturePinchEvent *pev = (XIGesturePinchEvent *) xi_event; struct xwidget_view *xvw = xwidget_view_from_window (pev->event); -- 2.39.2