From e6469df0653ef0d4f8b038f285a17975d7a5d9eb Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Thu, 14 Mar 2013 11:48:19 -0400
Subject: [PATCH] popupMenu: Fix a missed rename

this._activeMenu was changed to this.activeMenu, but this wasn't
updated by accident.

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

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index d65f03f21..3d2b4e60c 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -2086,7 +2086,7 @@ const PopupMenuManager = new Lang.Class({
     },
 
     removeMenu: function(menu) {
-        if (menu == this._activeMenu)
+        if (menu == this.activeMenu)
             this._closeMenu(menu);
 
         let position = this._findMenu(menu);