From 2d24536caf8cbd4d3c5aea705cddb57f1a23d7c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 20 Feb 2014 20:14:21 +0100
Subject: [PATCH] shellDBus: Fix LaunchExtensionPreferences()

Commit 5dedc5d8ba4f0e6fa removed "unused" functionality which was
still used by that method. Launch it via GAppInfo instead, which
still supports passing URIs.

https://bugzilla.gnome.org/show_bug.cgi?id=724813
---
 js/ui/shellDBus.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js
index 2bc149c62..6dbb5aeb6 100644
--- a/js/ui/shellDBus.js
+++ b/js/ui/shellDBus.js
@@ -371,8 +371,10 @@ const GnomeShellExtensions = new Lang.Class({
     LaunchExtensionPrefs: function(uuid) {
         let appSys = Shell.AppSystem.get_default();
         let app = appSys.lookup_app('gnome-shell-extension-prefs.desktop');
-        app.launch(global.display.get_current_time_roundtrip(),
-                   ['extension:///' + uuid], -1, null);
+        let info = app.get_app_info();
+        let timestamp = global.display.get_current_time_roundtrip();
+        info.launch_uris(['extension:///' + uuid],
+                         global.create_app_launch_context(timestamp, -1));
     },
 
     ReloadExtension: function(uuid) {