[gnome-shell-extensions] launch-new-instance: Update to changed API

[Florian Müllner <fmuellner src gnome org>]

commit 7e3db53dcd339f638231c5aa2ba6c34a98dbd288
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Feb 15 17:47:19 2014 +0100

    launch-new-instance: Update to changed API
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724428

 extensions/launch-new-instance/extension.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/extensions/launch-new-instance/extension.js b/extensions/launch-new-instance/extension.js
index a9ea7c5..4a801d8 100644
--- a/extensions/launch-new-instance/extension.js
+++ b/extensions/launch-new-instance/extension.js
@@ -16,7 +16,8 @@ function _onActivate(event) {
   Main.overview.hide();
 }
 
-function _activateResult(app) {
+function _activateResult(result) {
+  let app = this._appSys.lookup_app(result);
   app.open_new_window(-1);
 }