From the next development release the animation editor will have an additional feature, you will now be able to adjust the type of each of the animations. So in a way you can now really edit the animations (as the name of the editor already suggested of course).

Just select the animation you want to change and then select the new animation type you want to use in the combobox. After that you press the button to assign the new animation type. That’s all!

Btw, there was also a bug in the development release of yesterday concerning animations. Due to this bug the animation name was not read correctly for certain animations. This bug has been fixed by now as well.

Animation editor