working pixel-valued property animation

...at least in theory