master a27511ff2f: Set display last user time when handling pinch events

[Po Lu]

branch: master
commit a27511ff2fcfc76e05203ed9cc4000649a4b0961
Author: Po Lu <luangruo@yahoo.com>
Commit: Po Lu <luangruo@yahoo.com>

    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 d3d85a9e0d..48bf8eb7dd 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);