music_ogg.c
changeset 155 53f259dae79d
parent 152 c97650d4f432
child 241 503416fca921
     1.1 --- a/music_ogg.c	Wed Dec 19 17:11:40 2001 +0000
     1.2 +++ b/music_ogg.c	Thu Dec 20 00:01:30 2001 +0000
     1.3 @@ -183,4 +183,10 @@
     1.4  	}
     1.5  }
     1.6  
     1.7 +/* Jump (seek) to a given position (time is in seconds) */
     1.8 +void OGG_jump_to_time(OGG_music *music, double time)
     1.9 +{
    1.10 +       ov_time_seek( &music->vf, time );
    1.11 +}
    1.12 +
    1.13  #endif /* OGG_MUSIC */