From e8531f773a8c9a6d74a386f16a5e414a0262f58f Mon Sep 17 00:00:00 2001 From: Vasily Khoruzhick Date: Sat, 8 Oct 2011 23:06:49 +0300 Subject: [PATCH] Make dock extension actually work with gnome-3.2 Signed-off-by: Vasily Khoruzhick --- extensions/dock/extension.js | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/extensions/dock/extension.js b/extensions/dock/extension.js index 47cd76f..ac42744 100644 --- a/extensions/dock/extension.js +++ b/extensions/dock/extension.js @@ -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() { @@ -862,4 +863,4 @@ function enable() { function disable() { dock.destroy(); dock = null; -} \ No newline at end of file +} -- 1.7.7