- <init>
- adaptFrameRate
Adapts the frame rate depending on how long it took to compute the last frame.
- addAnimatedGeo
Adds geo to the list of animated GeoElements.
- clearAnimatedGeos
Empties list of animated geos
- getTempSet
- isPaused
Returns whether the animation is currently paused, i.e. the animation is not
running but there are e
- isRunning
- needToShowAnimationButton
Returns whether the animation button needs to be drawn in the graphics view.
This is only needed whe
- removeAnimatedGeo
Removes geo from the list of animated GeoElements.
- setTimerDelay
- sliderStep
Perform one step
- startAnimation
Starts animation