interface video : widget { ... void file( char* name ); ... void forward(); void rewind(); ... void bind( int frmanr, handler* h); };Apart from the usual widget creation commands, the class video has functions for reading in a video file, to play (forward) and to rewind. In addition, it offers a function bind which may be used to bind a framenumber to an event. Binding framenumbers to events allows for both synchronization and hyperlinking, albeit in a low level fashion.
Our video extension is based on the public domain xanim package and includes support for MPEG, AVI and Quicktime.