Landing a fix for a case where the animation timer wasn't getting stopped (thanks Arrix). Fixes bug #4001.
Landing a fix for a case where the animation timer wasn't getting stopped (thanks Arrix). Fixes bug #4001.


git-svn-id: a6f3e0ffc78e78789c45711e92f8046af3fcb362@6194 c715fcbe-d12f-0410-84c4-316a508785bb

dantman/4query,dantman/4query