|
| get_busy | - query the playback state |
| get_busy | - query the playback state |
| get_frame | - query the current frame in the movie |
| get_frame | - query the current frame in the movie |
| get_length | - query playback time of the movie |
| get_length | - query playback time of the movie |
| get_size | - query the size of the video image |
| get_size | - query the size of the video image |
| get_time | - query the current time in the movie |
| get_time | - query the current time in the movie |
| has_audio | - query if movie stream has audio |
| has_audio | - query if movie stream has audio |
| has_video | - query if movie stream has video |
| has_video | - query if movie stream has video |
| pause | - pause/resume movie playback |
| pause | - pause/resume movie playback |
| play | - start movie playback |
| play | - start movie playback |
| render_frame | - Render a specfic numbered frame. |
| rewind | - set playback position to the beginning of the movie |
| rewind | - set playback position to the beginning of the movie |
| set_display | - change the video output surface |
| set_display | - change the video output surface |
| set_volume | - change volume for sound |
| set_volume | - change volume for sound |
| skip | - skip the movie playback position forward |
| skip | - skip ahead a given amount of time |
| stop | - stop movie playback |
| stop | - stop movie playback |