implement AnimatedPadding widget

[maurerdietmar]

Unfortunately, the provided example shows that the animation is not very smooth.
Not sure why...

Besides, do we want such widget at all? Flutter has several of them:

AnimatedSize, AnimatedAlign, AnimatedOpacity, AnimatedContainer, ...

[maan2003]

maybe we should just have AnimatedEnv? that changes env values according to animation?

[maurerdietmar]

maybe we should just have AnimatedEnv? that changes env values according to animation?

Oh, great idea. I will try to implement that - assuming it does not exist already?

[maurerdietmar]

maybe we should just have AnimatedEnv?

Thought a bit more about that, and this gets clumsy because:

• You need to define a new Key for each animation, because Env is used by all sub-widget in the hierarchy.
• But Keys are "key: &'static str", so you cannot do that for a reusable widget

[maan2003]

oh that is problem indeed

[richard-uk1]

It would be good to use the env here - perhaps it is a deficiency of how env works that could be changed in druid?

[maurerdietmar]

perhaps it is a deficiency of how env works that could be changed in druid?

I also don't know why they use static strings.

Anyways, using Env is still clumsy because you need to define/use a new key. You also duplicate the number of widgets required (two instead of one).