13.  Animation Filters

Revision History
Revision $Revision: 1984 $ 2006-12-27 j.h

These are animation helpers, which let you view and optimize your animations (by reducing their size). We gathered “Optimize (Difference)” and “Optimize (GIF)” filters together, because they are not much different.