From 8305ef3b98f3f4c544689e59742fded2f5d17686 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 7 Mar 2013 17:50:22 +0100 Subject: [PATCH] app-menu: Fix non-fallback hot corners Commit 2d1d81247498f fixed handling of hot corners for the fallback case, but broke the menu completely for the non-fallback case. https://bugzilla.gnome.org/show_bug.cgi?id=695373 --- extensions/apps-menu/extension.js | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js index 48c020c5..0f4b95d2 100644 --- a/extensions/apps-menu/extension.js +++ b/extensions/apps-menu/extension.js @@ -140,12 +140,17 @@ const ApplicationsMenu = new Lang.Class({ }, open: function(animate) { - this._hotCorner.actor.hide(); + this._hotCorner.setBarrierSize(0); + if (this._hotCorner.actor) // fallback corner + this._hotCorner.actor.hide(); this.parent(animate); }, close: function(animate) { - this._hotCorner.actor.show(); + let size = Main.layoutManager.panelBox.height; + this._hotCorner.setBarrierSize(size); + if (this._hotCorner.actor) // fallback corner + this._hotCorner.actor.show(); this.parent(animate); },