Set user time when receiving any wheel events

* src/xterm.c (handle_one_xevent): Set user time if the mouse wheel moved.
2022-02-25 08:40:51 +08:00
parent 8d2fbd4a14
commit d29cc1e8a0
1 changed files with 2 additions and 0 deletions
--- 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)