WorkspaceThumbnail: fix mutter warning

Pass a proper timestamp to workspace activation functions https://bugzilla.gnome.org/show_bug.cgi?id=694365
2013-02-21 15:53:39 +01:00 · 2013-02-21 15:53:39 +01:00 · 08a0479c9e
commit 08a0479c9e
parent 6682b7dfa5
1 changed files with 1 additions and 1 deletions
--- 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;
            }
        }