linuxmint/Cinnamon — pull request #2048 by autarkper (2013-05-19 18:01:23+00:00)
Title: popupMenu.js: avoid unintended side effect of unexpected recursive call of PopupMenu.close

Calling this._boxPointer.hide in PopupMenu.close triggers
PopupMenuManager._onKeyFocusChanged,
which ends up calling PopupMenu.close recursively, causing
global.menuStackLength to be decremented twice.