diff --git a/extensions/dock/extension.js b/extensions/dock/extension.js index 387d7845..2fe51473 100644 --- a/extensions/dock/extension.js +++ b/extensions/dock/extension.js @@ -381,7 +381,8 @@ Dock.prototype = { this._overviewHiddenId = Main.overview.connect('hidden', Lang.bind(this, function() { this.actor.show(); })); - Main.layoutManager.addChrome(this.actor); + Main.layoutManager.addChrome(this.actor, + { affectsStruts: !this._settings.get_boolean(DOCK_HIDE_KEY) }); //hidden this._settings.connect('changed::'+DOCK_POSITION_KEY, Lang.bind(this, function (){ @@ -406,6 +407,10 @@ Dock.prototype = { if (!this._settings) return; + Main.layoutManager.removeChrome(this.actor); + Main.layoutManager.addChrome(this.actor, + { affectsStruts: !this._settings.get_boolean(DOCK_HIDE_KEY) }); + hideable = this._settings.get_boolean(DOCK_HIDE_KEY); if (hideable){ hideDock=false;