[gnome-shell-extensions/extension-live-disable] dock: update to new gnome-shell API
- From: Giovanni Campagna <gcampagna src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/extension-live-disable] dock: update to new gnome-shell API
- Date: Mon, 22 Aug 2011 20:53:40 +0000 (UTC)
commit ba16a8e0d8b12841024ed098c1dfdda83e4ce15b
Author: Giovanni Campagna <gcampagna src gnome org>
Date: Thu Aug 18 19:38:10 2011 +0200
dock: update to new gnome-shell API
Main.chrome was replaced by Main.layoutManager, and main() was
replaced by init()
extensions/dock/extension.js | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/dock/extension.js b/extensions/dock/extension.js
index c856e80..bb5338c 100644
--- a/extensions/dock/extension.js
+++ b/extensions/dock/extension.js
@@ -303,7 +303,7 @@ Dock.prototype = {
this._overviewHiddenId = Main.overview.connect('hidden', Lang.bind(this, function() {
this.actor.show();
}));
- Main.chrome.addActor(this.actor);
+ Main.layoutManager.addChrome(this.actor);
this.actor.lower_bottom();
//hidden
@@ -790,7 +790,7 @@ DockIconMenu.prototype = {
}));
source.actor.connect('destroy', Lang.bind(this, function () { this.actor.destroy(); }));
- Main.chrome.addActor(this.actor);
+ Main.layoutManager.addChrome(this.actor);
},
_redisplay: function() {
@@ -852,7 +852,7 @@ DockIconMenu.prototype = {
}
}
-function main(extensionMeta) {
+function init(extensionMeta) {
imports.gettext.bindtextdomain('gnome-shell-extensions', extensionMeta.localedir);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]