Added support for saving/loading 'animate' option.
[drlaunch] / drlaunch_widget.py
2010-06-24 Stefanos Harhalakis(no commit message)