make the animation docker smaller
make the onionskin docker a little smaller
update Animation workspace

note: the animation docker keeps extending uselessly at each restart,
vertically on this workspace and horizontally if it's on the bottom next to the timeline...
it would be nice to find a way to fix it.