From 5bf1339ef1dbe48c68ea103c5a3753477ac33b92 Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Tue, 20 Dec 2011 18:59:20 +0100 Subject: [PATCH] dock: restore strut management When configured not to auto-hide, the dock should modify struts so that it doesn't cover maximized windows. --- extensions/dock/extension.js | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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;