[gnome-shell] panel: Include panel corners in startup animation

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

commit d6e29be980c1ef7ac577775f5162f103b167814a
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Mar 3 17:25:30 2011 +0100

    panel: Include panel corners in startup animation
    
    Commit b1654af4063 moved the panel positioning (and thus that of its
    corners) before the panel startup animation. As the panel corners now
    are mapped while the panel animation is active, the initial style-changed
    signal which triggers another repositioning is received after the
    initial layout and the corners end up at wrong positions.
    To fix, animate the corner positions as well during the startup
    animation - if anyone could actually see the animation, the corners
    should animate with the panel anyway ...
    
    https://bugzilla.gnome.org/show_bug.cgi?id=643804

 js/ui/panel.js |   14 ++++++++++++++
 1 files changed, 14 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 37a720e..95dc2bc 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -1051,6 +1051,20 @@ Panel.prototype = {
                            time: STARTUP_ANIMATION_TIME,
                            transition: 'easeOutQuad'
                          });
+
+        let oldCornerY = this._leftCorner.actor.y;
+        this._leftCorner.actor.y = oldCornerY - this.actor.height;
+        this._rightCorner.actor.y = oldCornerY - this.actor.height;
+        Tweener.addTween(this._leftCorner.actor,
+                         { y: oldCornerY,
+                           time: STARTUP_ANIMATION_TIME,
+                           transition: 'easeOutQuad'
+                         });
+        Tweener.addTween(this._rightCorner.actor,
+                         { y: oldCornerY,
+                           time: STARTUP_ANIMATION_TIME,
+                           transition: 'easeOutQuad'
+                         });
     },
 
     relayout: function() {