[gnome-shell-extensions] places-menu: fix for gnome-shell changes

[Giovanni Campagna <gcampagna src gnome org>]

commit 85c7b9b85be964e0ceb40067da63440ec7576368
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Feb 5 17:12:06 2014 +0100

    places-menu: fix for gnome-shell changes
    
    Making sure something appears on screen is not equivalent to
    working...

 extensions/places-menu/placeDisplay.js |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index 043d8be..a741e4b 100644
--- a/extensions/places-menu/placeDisplay.js
+++ b/extensions/places-menu/placeDisplay.js
@@ -43,8 +43,7 @@ const PlaceInfo = new Lang.Class({
     },
 
     launch: function(timestamp) {
-        let launchContext = global.create_app_launch_context();
-        launchContext.set_timestamp(timestamp);
+        let launchContext = global.create_app_launch_context(timestamp, -1);
 
         try {
             Gio.AppInfo.launch_default_for_uri(this.file.get_uri(),