From 65bec3cdb1f103e3091aa21b9b1d58ebd2cd06c0 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagn@redhat.com>
Date: Tue, 17 Sep 2013 10:52:03 +0200
Subject: [PATCH] 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 file changed, 4 insertions(+)

diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 7b044ba6..ffc8bf81 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