[mutter] display: Ignore _NET_WM_USER_TIME PropertyNotifies

[Jasper St. Pierre <jstpierre src gnome org>]

commit 21fe5be0263df07f0a68de1f413173d571e9569f
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Sat Jun 29 20:09:30 2013 -0400

    display: Ignore _NET_WM_USER_TIME PropertyNotifies
    
    These are spammy as well.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=703970

 src/core/display.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/core/display.c b/src/core/display.c
index b8a7de5..bdb74be 100644
--- a/src/core/display.c
+++ b/src/core/display.c
@@ -3793,6 +3793,9 @@ meta_spew_event (MetaDisplay *display,
   if (event->type == (display->xsync_event_base + XSyncAlarmNotify))
     return;
 
+  if (event->type == PropertyNotify && event->xproperty.atom == display->atom__NET_WM_USER_TIME)
+    return;
+
   input_event = get_input_event (display, event);
 
   if (input_event)