[gnome-shell-extensions/extension-live-disable] dock: update to new gnome-shell API



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]