gnome-shell/js
Florian Müllner d6e29be980 panel: Include panel corners in startup animation
Commit b1654af406 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
2011-03-03 22:56:38 +01:00
..
misc Ensure that all signatures are defined in DBus interfaces 2011-02-28 18:40:57 +01:00
perf Use non recursive automake for JS 2010-09-15 18:38:46 +02:00
ui panel: Include panel corners in startup animation 2011-03-03 22:56:38 +01:00
Makefile.am Add a PolicyKit authentication agent 2011-02-22 15:13:56 -05:00