Improve dock reveal animation when switching workspaces#2551

lenemter wants to merge 5 commits intomainelementary/gala:mainfrom

lenemter/improve-dock-reveal-animationelementary/gala:lenemter/improve-dock-reveal-animationCopy head branch name to clipboard