Seek to audio

[Squigglez2]

It would be nice to add methods to seek, and possibly play/pause ui.audio

[falkoschindler]

Sure, that would be a great addition. Anyone up for a pull request?

Here are workarounds using run_javascript (same for audio):

v = ui.video('https://test-videos.co.uk/vids/bigbuckbunny/mp4/h264/360/Big_Buck_Bunny_360_10s_1MB.mp4')
ui.button('Play', on_click=lambda: ui.run_javascript(f'getElement({v.id}).$el.play()', respond=False))
ui.button('Pause', on_click=lambda: ui.run_javascript(f'getElement({v.id}).$el.pause()', respond=False))
ui.button('Seek(5)', on_click=lambda: ui.run_javascript(f'getElement({v.id}).$el.currentTime = 5', respond=False))

[falkoschindler]

@wgong I don't think the UI should change. We just need new methods to play, pause and seek.

[wgong]

@falkoschindler I see, the builtin control displays the media length, I like to validate the seek position to be within the max, is that max number available in audio.js?

[Squigglez2]

@wgong I probably should've mentioned it in the initial post but I'm trying to run with controls off, since I'm just playing short ~2s audio clips. I was hoping for a built in method since I'm not too familiar with the media players and without the workarounds the files just get stuck at the end and I can't use them again.

[falkoschindler]

@wgong I'm not sure if the length is available in JavaScript. Until the audio is completely loaded, the length is probably unknown.

[wgong]

Hi @falkoschindler @rodja
a PR at #1672 is created for your review

I tested it with an example under examples/audio_video/main.py

Thanks,

[wgong]

@falkoschindler I have created a new PR following your suggestion - #1741