Barnabás Pőcze fb890ead96 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: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3027>
2024-03-02 23:19:22 +00:00
..
2023-05-24 14:16:41 +02:00
2019-03-12 00:27:07 +00:00
2023-11-03 11:36:07 +00:00
2024-01-10 13:58:18 +00:00
2023-08-07 22:24:36 +00:00
2023-08-30 08:48:23 +02:00
2023-08-30 08:48:23 +02:00
2023-12-01 14:25:08 +00:00
2023-12-01 14:25:08 +00:00
2023-08-30 08:48:23 +02:00
2023-08-07 22:24:36 +00:00
2023-08-30 08:48:23 +02:00
2023-08-30 08:48:23 +02:00
2023-08-30 08:48:23 +02:00
2024-02-19 20:19:41 +01:00
2023-08-07 22:24:36 +00:00
2023-08-30 08:48:23 +02:00
2024-02-21 16:01:00 +01:00
2023-05-24 14:16:41 +02:00
2024-02-21 16:01:00 +01:00
2023-08-12 19:53:46 +00:00