void function ( ) { if ( isRunning ( ) ) { stopTimer ( ) ; updateNeedToShowAnimationButton ( ) ; } }
stops animation concode_field_sep GTimer timer concode_elem_sep ArrayList<Animatable> changedGeos concode_elem_sep boolean needToShowAnimationButton concode_elem_sep int STANDARD_ANIMATION_TIME concode_elem_sep int MIN_ANIMATION_FRAME_RATE concode_elem_sep Kernel kernel concode_elem_sep ArrayList<TimerListener> listener concode_elem_sep double frameRate concode_elem_sep ArrayList<GeoElement> animatedGeos concode_elem_sep int MAX_ANIMATION_FRAME_RATE concode_elem_sep TreeSet<AlgoElement> tempSet concode_field_sep boolean isPaused concode_elem_sep void clearAnimatedGeos concode_elem_sep void sliderStep concode_elem_sep void onRun concode_elem_sep void adaptFrameRate concode_elem_sep void setTimerDelay concode_elem_sep void stopTimer concode_elem_sep void removeAnimatedGeo concode_elem_sep void startAnimation concode_elem_sep boolean needToShowAnimationButton concode_elem_sep TreeSet<AlgoElement> getTempSet concode_elem_sep boolean isRunning concode_elem_sep void addAnimatedGeo concode_elem_sep void startTimer concode_elem_sep void removeTimerListener concode_elem_sep void updateNeedToShowAnimationButton concode_elem_sep double getFrameRate concode_elem_sep void addListener