[mutter/wip/gestures: 6/16] events: Update current time on CLUTTER_TOUCH_BEGIN events

[Carlos Garnacho <carlosg src gnome org>]

commit 4ad2865cce3c33f937c2641990614234515db973
Author: Carlos Garnacho <carlosg gnome org>
Date:   Thu Jun 19 22:23:00 2014 +0200

    events: Update current time on CLUTTER_TOUCH_BEGIN events
    
    Just as with key/button press events, update the current interaction
    time when a touch begins on a window.

 src/core/events.c |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/src/core/events.c b/src/core/events.c
index c5930a4..fb789e2 100644
--- a/src/core/events.c
+++ b/src/core/events.c
@@ -120,7 +120,9 @@ meta_display_handle_event (MetaDisplay        *display,
   display->current_time = event->any.time;
 
   if (window && !window->override_redirect &&
-      (event->type == CLUTTER_KEY_PRESS || event->type == CLUTTER_BUTTON_PRESS))
+      (event->type == CLUTTER_KEY_PRESS ||
+       event->type == CLUTTER_BUTTON_PRESS ||
+       event->type == CLUTTER_TOUCH_BEGIN))
     {
       if (CurrentTime == display->current_time)
         {