[gnome-shell] windowManager: Update animation of attached modals (again)

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

commit ff25a5e251702f20688ed4aa0c9c628394822519
Author: Florian MÃllner <fmuellner gnome org>
Date:   Fri Aug 10 15:23:35 2012 +0200

    windowManager: Update animation of attached modals (again)
    
    The fade animation we started using after centering attached
    modal dialogs didn't work too well. So after going back to the
    scale animation, adjust it to scale from the center rather
    than the top, which works quite well.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=681601

 js/ui/windowManager.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index c535fef..9d438a9 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -301,6 +301,7 @@ const WindowManager = new Lang.Class({
             this._checkDimming(actor.get_meta_window().get_transient_for());
             if (this._shouldAnimate()) {
                 actor.set_scale(1.0, 0.0);
+                actor.scale_gravity = Clutter.Gravity.CENTER;
                 actor.show();
                 this._mapping.push(actor);
 
@@ -377,6 +378,7 @@ const WindowManager = new Lang.Class({
             }
 
             actor.set_scale(1.0, 1.0);
+            actor.scale_gravity = Clutter.Gravity.CENTER;
             actor.show();
             this._destroying.push(actor);