It takes the movie title and filename from parameters,
rather than hardwiring them into the player. The same player can
thus be used for different movies.
I am still working on eliminating the following bugs if I can find a way:
The player does not redraw the current frame if the window is obscured.
The play control buttons only take effect after the current frame has
finished being displayed.