[gnome-shell-extensions] apps-menu: fix for gnome-shell master

[Giovanni Campagna <gcampagna src gnome org>]

commit 65bec3cdb1f103e3091aa21b9b1d58ebd2cd06c0
Author: Giovanni Campagna <gcampagn redhat com>
Date:   Tue Sep 17 10:52:03 2013 +0200

    apps-menu: fix for gnome-shell master
    
    PopupMenu.isEmpty() only checks for regular menu items, which
    the application menu doesn't use, so we need a fake implementation.

 extensions/apps-menu/extension.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 7b044ba..ffc8bf8 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -232,6 +232,10 @@ const ApplicationsMenu = new Lang.Class({
         this._button = button;
     },
 
+    isEmpty: function() {
+       return false;
+    },
+
     open: function(animate) {
         this._button.hotCorner.setBarrierSize(0);
         if (this._button.hotCorner.actor) // fallback corner