Created attachment 182384 [details] [review]
panel: Use a constant for the panel startup animation time

Created attachment 182385 [details] [review]
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 ...

Review of attachment 182384 [details] [review]:

Sure

Comment on attachment 182384 [details] [review]
panel: Use a constant for the panel startup animation time

Attachment 182384 [details] pushed as 6fbf8fa - panel: Use a constant for the panel startup animation time

Review of attachment 182385 [details] [review]:

OK, as per discussion on IRC I think this works. There are subtilties about things competing against each other which aren't apparently from the code, but the code makes sense in isolation - as you say, the corners should animate.

Attachment 182385 [details] pushed as d6e29be - panel: Include panel corners in startup animation