tree 9389fdb2ea09fc10707cfd7b832a675fa0b86cfc
parent 2116bcaec06230d571e8cdc7c9564fdeba65c03d
author Jack Jansen <jack.jansen@cwi.nl> 901114657 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 901114657 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4011181

- Added a function MoviesTask, which is the same as the method but
with a null movie (giving time to all active movies)
- Made the graphics world parameter to SetMovieGWorld optional.