88211ed4bb
When adding/removing workspaces in linear view, both workspaces and scrollbar movement are animated, but the size of the scrollbar handle changes abruptly. It is more consistent to animate the size change as well. https://bugzilla.gnome.org/show_bug.cgi?id=613456