master d29cc1e8a0: Set user time when receiving any wheel events

[Po Lu]

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

    Set user time when receiving any wheel events
    
    * src/xterm.c (handle_one_xevent): Set user time if the mouse
    wheel moved.
---
 src/xterm.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/xterm.c b/src/xterm.c
index 54b00455a1..18d68e52f1 100644
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -11513,6 +11513,8 @@ handle_one_xevent (struct x_display_info *dpyinfo,
 #endif
                  if (found_valuator)
                    {
+                     x_display_set_last_user_time (dpyinfo, xev->time);
+
                      if (fabs (total_x) > 0 || fabs (total_y) > 0)
                        {
                          inev.ie.kind = (fabs (total_y) >= fabs (total_x)