d6020f1402
In general, all changes in the shell interface should be backed by animations to give the interface a more natural feel and provide feedback of what's happening. Currently the dash violates that principle, as items simply appear/disappear or change size abruptly, so add animations for application list and icon size changes. https://bugzilla.gnome.org/show_bug.cgi?id=636156