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.
2013-09-17 10:52:03 +02:00
parent d060657bf4
commit 65bec3cdb1
1 changed files with 4 additions and 0 deletions
@@ -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