--- extensions/dock/extension.js 2011-10-12 08:19:08.000000000 +0200 +++ extensions/extensions/dock/extension_good.js 2011-10-12 16:14:00.000000000 +0200 @@ -304,7 +304,7 @@ 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 +372,8 @@ 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 +863,5 @@ function disable() { dock.destroy(); dock = null; -} \ Pas de fin de ligne à la fin du fichier + +}