From fb890ead963466bab3c75a2be5dab74911de6a79 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Barnab=C3=A1s=20P=C5=91cze?= Date: Mon, 22 May 2023 19:41:45 +0200 Subject: [PATCH] display: Force window user time update to happen `meta_window_set_user_time()` will not update the window's user time if it timestamp in the argument is before the currently saved timestamp. However, when trying to work around problematic timestamps, this is exactly what needs to be done. So force the update to happen by setting the "is user time set?" flag to false. Fixes: 8f3da9f68a10ff ("Use meta_window_set_user_time for setting user time consistently") Part-of: --- src/core/display.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/core/display.c b/src/core/display.c index e9197304c..e0dfc7c7e 100644 --- a/src/core/display.c +++ b/src/core/display.c @@ -2494,6 +2494,7 @@ meta_display_sanity_check_timestamps (MetaDisplay *display, meta_warning ("%s appears to be one of the offending windows " "with a timestamp of %u. Working around...", window->desc, window->net_wm_user_time); + window->net_wm_user_time_set = FALSE; meta_window_set_user_time (window, timestamp); }