music_ogg.h
changeset 155 53f259dae79d
parent 140 efa15d2a5403
child 241 503416fca921
     1.1 --- a/music_ogg.h	Wed Dec 19 17:11:40 2001 +0000
     1.2 +++ b/music_ogg.h	Thu Dec 20 00:01:30 2001 +0000
     1.3 @@ -64,4 +64,7 @@
     1.4  /* Close the given OGG stream */
     1.5  extern void OGG_delete(OGG_music *music);
     1.6  
     1.7 +/* Jump (seek) to a given position (time is in seconds) */
     1.8 +extern void OGG_jump_to_time(OGG_music *music, double time);
     1.9 +
    1.10  #endif /* OGG_MUSIC */