[gnome-shell] windowMenu: Animate menu

[Florian Müllner <fmuellner src gnome org>]

commit 4525ad346d226ebeb2f4fe645bb44fb95691fa0d
Author: GB_2 <bfeber protonmail com>
Date:   Thu Sep 12 16:01:46 2019 +0000

    windowMenu: Animate menu
    
    Most menus have an animation, so add one to the window menu for
    consistency and better looks (like !712).
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/717

 js/ui/windowMenu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index 58ef841d40..f2fb750bcb 100644
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -224,7 +224,7 @@ var WindowMenuManager = class {
         this._sourceActor.set_position(rect.x, rect.y);
         this._sourceActor.show();
 
-        menu.open(BoxPointer.PopupAnimation.NONE);
+        menu.open(BoxPointer.PopupAnimation.FADE);
         menu.actor.navigate_focus(null, St.DirectionType.TAB_FORWARD, false);
         menu.connect('open-state-changed', (menu_, isOpen) => {
             if (isOpen)