[mutter] events: Update current_time as best as we can on misc X events

[Rui Matos <rtcm src gnome org>]

commit 6219ae782a220aebfee3d30ba1f1d9fbe291e9af
Author: Rui Matos <tiagomatos gmail com>
Date:   Tue Apr 15 20:18:23 2014 +0200

    events: Update current_time as best as we can on misc X events
    
    Instead of always setting it to CurrentTime.

 src/core/events.c |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/src/core/events.c b/src/core/events.c
index fef8616..ab58fd6 100644
--- a/src/core/events.c
+++ b/src/core/events.c
@@ -1775,7 +1775,6 @@ meta_display_handle_xevent (MetaDisplay *display,
       goto out;
     }
 
-  display->current_time = event_get_time (display, event);
   display->monitor_cache_invalidated = TRUE;
 
   if (display->focused_by_us &&
@@ -1871,7 +1870,7 @@ meta_display_handle_xevent (MetaDisplay *display,
         bypass_gtk = TRUE;
     }
 
-  display->current_time = CurrentTime;
+  display->current_time = event_get_time (display, event);
   return bypass_gtk;
 }