<@U0F3291QE> Should we merge in the animation enha...
# tornadofx
r
@edvin Should we merge in the animation enhancements PR?