[PATCH 1/2] Make dock extension actually work with gnome-3.2

Without this patch dock is invisible, but reacts on mouse clicks

Signed-off-by: Vasily Khoruzhick <anarsoul@gmail.com>
This commit is contained in:
Giovanni Campagna
2011-10-18 10:19:50 +02:00
parent 967aee7aad
commit 66242aa76a
+3 -2
View File
@@ -304,7 +304,6 @@ Dock.prototype = {
this.actor.show();
}));
Main.layoutManager.addChrome(this.actor);
this.actor.lower_bottom();
//hidden
this._settings.connect('changed::'+DOCK_POSITION_KEY, Lang.bind(this, function (){
@@ -372,6 +371,8 @@ Dock.prototype = {
this.actor.connect('leave-event', Lang.bind(this, this._hideDock));
this.actor.connect('enter-event', Lang.bind(this, this._showDock));
this._hideDock();
},
destroy: function() {
@@ -861,4 +862,4 @@ function enable() {
function disable() {
dock.destroy();
dock = null;
}
}