[gnome-shell] popupMenu: Display the proper animations for popup menus

[Jasper St. Pierre <jstpierre src gnome org>]

commit ca2ee22827eb283c76c6a6e2c4f5e15098ae2ff1
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Mon Dec 10 03:47:32 2012 -0500

    popupMenu: Display the proper animations for popup menus
    
    BoxPointer's API changed to take a BoxPointer.PopupAnimation
    enumeration value, but the code was accidentally replaced with
    older code when porting the PopupMenuManager code to GrabHelper.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=689954

 js/ui/popupMenu.js |    9 +++++----
 1 files changed, 5 insertions(+), 4 deletions(-)
---
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 85acb70..202ae3d 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -2133,11 +2133,12 @@ const PopupMenuManager = new Lang.Class({
     },
 
     _changeMenu: function(newMenu) {
-        if (this.activeMenu) {
-            this._closeMenu(this.activeMenu);
-            newMenu.open(false);
+        let oldMenu = this.activeMenu;
+        if (oldMenu) {
+            oldMenu.close(BoxPointer.PopupAnimation.FADE);
+            newMenu.open(BoxPointer.PopupAnimation.FADE);
         } else {
-            newMenu.open(true);
+            newMenu.open(BoxPointer.PopupAnimation.FULL);
         }
     },