[gnome-shell-extensions/wip/mdebski/handle-missing-hotcorner] Make apps-menu not assume that hotcorner exists.

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

commit 7fec6ed1927996b6a86d31ead8d9afe7ba97e00b
Author: Maciej Dębski <md319428 students mimuw edu pl>
Date:   Mon Nov 18 19:52:58 2013 +0100

    Make apps-menu not assume that hotcorner exists.
    
    Simple fix to set hotcorner action only if it exist.
    
    Fixes https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/6

 extensions/apps-menu/extension.js | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index e430140..d852503 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -253,17 +253,21 @@ const ApplicationsMenu = new Lang.Class({
     },
 
     open: function(animate) {
-        this._button.hotCorner.setBarrierSize(0);
-        if (this._button.hotCorner.actor) // fallback corner
-            this._button.hotCorner.actor.hide();
+        if(this._button.hotCorner) {
+            this._button.hotCorner.setBarrierSize(0);
+            if (this._button.hotCorner.actor) // fallback corner
+                this._button.hotCorner.actor.hide();
+        }
         this.parent(animate);
     },
 
     close: function(animate) {
         let size = Main.layoutManager.panelBox.height;
-        this._button.hotCorner.setBarrierSize(size);
-        if (this._button.hotCorner.actor) // fallback corner
-            this._button.hotCorner.actor.show();
+        if(this._button.hotCorner) {
+            this._button.hotCorner.setBarrierSize(size);
+            if (this._button.hotCorner.actor) // fallback corner
+                this._button.hotCorner.actor.show();
+        }
         this.parent(animate);
     },