extensions/animation_extension library

Extensions

AnimationExtension on Widget