[gnome-shell] WorkspaceThumbnail: fix mutter warning

[Giovanni Campagna <gcampagna src gnome org>]

commit 08a0479c9eaac81304ed83008896044ea7ef8cbc
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Thu Feb 21 15:53:39 2013 +0100

    WorkspaceThumbnail: fix mutter warning
    
    Pass a proper timestamp to workspace activation functions
    
    https://bugzilla.gnome.org/show_bug.cgi?id=694365

 js/ui/workspaceThumbnail.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index c2a415a..dee24fa 100644
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -590,7 +590,7 @@ const ThumbnailsBox = new Lang.Class({
             let thumbnail = this._thumbnails[i]
             let [w, h] = thumbnail.actor.get_transformed_size();
             if (y >= thumbnail.actor.y && y <= thumbnail.actor.y + h) {
-                thumbnail.activate(event.time);
+                thumbnail.activate(event.get_time());
                 break;
             }
         }