benjaminaaron/GraphVisualizer — pull request #20 by Sanjo (2013-10-18 12:18:06+00:00)
Title: Removed unnecessary calls to animator.finish(); and animator.proceed(); ...

...when changing to animation mode "none". (Also fixes #17)