AFAIK the animations never worked anyway as the icon for the kickoff menu. the animations were disabled because of the Qt4 port and never got re-enabled. Now that we don't even use the weird custom icons that were used by kickoff, it's irrelevant.
What the last file included does, I do not know. I will need to verify if it can be removed from the code before removing it totally.
Calvin,
I grepped the entire source tree. Nothing makes any reference to kmenu_active.mng or even "kmenu_active." Not even the make files reference the image. I think we can purge kmenu_active.mng with impunity. I already purged the other two (kmenu_flipped and kmenu_vertical) mng files.
The only reference in the code is to kmenu_basic.mng.
Darrell