v0.8.94: Animation in opacity slider