From 21a28a74756b417fc6186c2328319bf707fe1f3d Mon Sep 17 00:00:00 2001 From: Gwendal Le Bihan Date: Sat, 21 Jan 2012 22:36:13 +0100 Subject: [PATCH] Fix for struts issue (hopefully...). There is still an insensitive zone when autohide is on --- js/ui/layout.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/js/ui/layout.js b/js/ui/layout.js index f5d70bd3a7..6b575cada3 100644 --- a/js/ui/layout.js +++ b/js/ui/layout.js @@ -74,6 +74,8 @@ LayoutManager.prototype = { global.screen.connect('monitors-changed', Lang.bind(this, this._monitorsChanged)); + global.window_manager.connect('switch-workspace', + Lang.bind(this, this._windowsRestacked)); this._monitorsChanged(); this._chrome.addActor(this._hotCorner.actor); global.settings.connect("changed::panel-autohide", Lang.bind(this, this._onPanelAutoHideChanged)); @@ -94,6 +96,7 @@ LayoutManager.prototype = { } } } + this._chrome.updateRegions(); }, // This is called by Main after everything else is constructed; @@ -290,7 +293,7 @@ LayoutManager.prototype = { global.destroy_pointer_barrier(rightPanelBarrier); if (panelBox.height) { - if ((Main.desktop_layout == Main.LAYOUT_TRADITIONAL || Main.desktop_layout == Main.LAYOUT_CLASSIC) && panelBox==this.panelBox) { + if ((Main.desktop_layout == Main.LAYOUT_TRADITIONAL && panelBox==this.panelBox) || (Main.desktop_layout == Main.LAYOUT_CLASSIC && panelBox==this.panelBox2)) { let monitor = this.bottomMonitor; leftPanelBarrier = global.create_pointer_barrier(monitor.x, monitor.y + monitor.height - panelBox.height,