Added support for pausing a media panel which pauses all sprites and

animations currently operating therein. (It doesn't pause scrolling which
I suppose I'll have to fix at some point if we ever need it.)


git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@1292 542714f4-19e9-0310-aa3c-eee0fc999fb1

src/java/com/threerings/media/animation/AnimationManager.java

@@ -1,5 +1,5 @@
 //
-// $Id: AnimationManager.java,v 1.9 2002/04/23 01:16:28 mdb Exp $
+// $Id: AnimationManager.java,v 1.10 2002/04/25 16:23:30 mdb Exp $
 
 package com.threerings.media.animation;
 
@@ -102,6 +102,22 @@ public class AnimationManager
         }
     }
 
+    /**
+     * If the animation manager is paused for some length of time, it
+     * should be fast forwarded by the appropriate number of milliseconds.
+     * This allows animations to smoothly pick up where they left off
+     * rather than abruptly jumping into the future, thinking that some
+     * outrageous amount of time passed since their last tick.
+     */
+    public void fastForward (long timeDelta)
+    {
+        // fast forward all of our animations
+        int size = _anims.size();
+        for (int ii = 0; ii < size; ii++) {
+            ((Animation)_anims.get(ii)).fastForward(timeDelta);
+        }
+    }
+
     /**
      * Renders all registered animations in the given layer that intersect
      * the supplied clipping rectangle to the given graphics context.