From d29cc1e8a06507dc89c5350c59d0eee263c6df0c Mon Sep 17 00:00:00 2001 From: Po Lu Date: Fri, 25 Feb 2022 08:40:51 +0800 Subject: [PATCH] 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 54b00455a1c..18d68e52f12 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) -- 2.39.5