Whenever panel or dock size changes, it might be nice to animate this transition.
Related: !46 (merged)