brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

shellDBus: Fix LaunchExtensionPreferences()

Browse Source 
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
This commit is contained in:
Florian Müllner 2014-02-20 20:14:21 +01:00
parent b088c4086b
commit 2d24536caf
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
js/ui/shellDBus.js
View File

@ -371,8 +371,10 @@ const GnomeShellExtensions = new Lang.Class({
LaunchExtensionPrefs: function(uuid) { LaunchExtensionPrefs: function(uuid) {
let appSys = Shell.AppSystem.get_default(); let appSys = Shell.AppSystem.get_default();
let app = appSys.lookup_app('gnome-shell-extension-prefs.desktop'); let app = appSys.lookup_app('gnome-shell-extension-prefs.desktop');
app.launch(global.display.get_current_time_roundtrip(), let info = app.get_app_info();
['extension:///' + uuid], -1, null); let timestamp = global.display.get_current_time_roundtrip();
info.launch_uris(['extension:///' + uuid],
global.create_app_launch_context(timestamp, -1));
}, },
ReloadExtension: function(uuid) { ReloadExtension: function(uuid) {