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
This commit is contained in:
Jasper St. Pierre 2013-03-14 11:48:19 -04:00
parent d61fe357f6
commit e6469df065

View File

@ -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);