[gnome-shell-extensions] app-menu: Fix non-fallback hot corners

[Florian Müllner <fmuellner src gnome org>]

commit 8305ef3b98f3f4c544689e59742fded2f5d17686
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Mar 7 17:50:22 2013 +0100

    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 files changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 48c020c..0f4b95d 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);
     },