extensionPrefs: Fix
We accidentally broke two things here when overhauling the extensions system. https://bugzilla.gnome.org/show_bug.cgi?id=680064
This commit is contained in:
parent
76472b86ed
commit
10a0762fe7
@ -13,8 +13,7 @@ const _ = Gettext.gettext;
|
|||||||
const Config = imports.misc.config;
|
const Config = imports.misc.config;
|
||||||
const ExtensionUtils = imports.misc.extensionUtils;
|
const ExtensionUtils = imports.misc.extensionUtils;
|
||||||
|
|
||||||
|
const GnomeShellIface = <interface name="org.gnome.Shell.Extensions">
|
||||||
const GnomeShellIface = <interface name="org.gnome.Shell">
|
|
||||||
<signal name="ExtensionStatusChanged">
|
<signal name="ExtensionStatusChanged">
|
||||||
<arg type="s" name="uuid"/>
|
<arg type="s" name="uuid"/>
|
||||||
<arg type="i" name="state"/>
|
<arg type="i" name="state"/>
|
||||||
@ -210,7 +209,7 @@ const Application = new Lang.Class({
|
|||||||
_extensionFound: function(signals, extension) {
|
_extensionFound: function(signals, extension) {
|
||||||
let iter = this._model.append();
|
let iter = this._model.append();
|
||||||
this._model.set(iter, [0, 1], [extension.uuid, extension.metadata.name]);
|
this._model.set(iter, [0, 1], [extension.uuid, extension.metadata.name]);
|
||||||
this._extensionIters[uuid] = iter;
|
this._extensionIters[extension.uuid] = iter;
|
||||||
},
|
},
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user