From 13a2b28bf118b97e0c285a9fa621deb19ac9a28e Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Mon, 10 Dec 2012 03:42:53 -0500
Subject: [PATCH] popupMenu: Complete the dummy fake menu

"toggle" is used when clicking on the source actor. As we don't
actually have a menu, we don't want to actually take any grabs
through the menu system, so make it a no-op rather than have it
toggle the menu state.

https://bugzilla.gnome.org/show_bug.cgi?id=689954
---
 js/ui/popupMenu.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 155a8546f..85acb70b2 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1289,6 +1289,7 @@ const PopupDummyMenu = new Lang.Class({
 
     open: function() { this.emit('open-state-changed', true); },
     close: function() { this.emit('open-state-changed', false); },
+    toggle: function() {},
     destroy: function() {
         this.emit('destroy');
     },