[gnome-shell/gnome-3-8] popupMenu: Fix removing the active menu from PopupMenuManager
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/gnome-3-8] popupMenu: Fix removing the active menu from PopupMenuManager
- Date: Wed, 6 Nov 2013 23:14:02 +0000 (UTC)
commit 820f689f7789be074595ce470d39828db771ed66
Author: Florian Müllner <fmuellner gnome org>
Date: Wed Nov 6 23:40:22 2013 +0100
popupMenu: Fix removing the active menu from PopupMenuManager
Commit b42af9aa991eba5 changed the parameter list of _closeMenu()
to account for changes in the GrabHelper ungrab mechanism, but
didn't update other callers.
https://bugzilla.gnome.org/show_bug.cgi?id=709806
js/ui/popupMenu.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 9456b79..81d8ab9 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -2106,7 +2106,7 @@ const PopupMenuManager = new Lang.Class({
removeMenu: function(menu) {
if (menu == this.activeMenu)
- this._closeMenu(menu);
+ this._closeMenu(false, menu);
let position = this._findMenu(menu);
if (position == -1) // not a menu we manage
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]