[mutter] Use meta_window_set_user_time for setting user time consistently

[Colin Walters <walters src gnome org>]

commit 8f3da9f68a10ff142c5150f06236368449ab2512
Author: Colin Walters <walters verbum org>
Date:   Thu Sep 3 20:58:19 2009 -0400

    Use meta_window_set_user_time for setting user time consistently
    
    This is a followup to making user-time a GObject property, this
    way we get notifications.

 src/core/display.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/core/display.c b/src/core/display.c
index 9fcdd22..0f92edb 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -5111,9 +5111,9 @@ sanity_check_timestamps (MetaDisplay *display,
               meta_warning ("%s appears to be one of the offending windows "
                             "with a timestamp of %u.  Working around...\n",
                             window->desc, window->net_wm_user_time);
-              window->net_wm_user_time = timestamp;
+              meta_window_set_user_time (window, timestamp);
             }
-          
+
           tmp = tmp->next;
         }