Use case
When using a video or audio player I'd like to be able to seek the position of the video and also see the buffer of it.
Example :

Proposal
I created a PR to add this in the video_player based on the slider widget but got no feeback ATM :)
The more I code the more I think it not only suits to the video_player plugin. It can also suit to a future audio_player.
I don't really know where to create a PR for this feature :
- Should it be in the plugins repo (this way it can be used by the
video_player and the audio_player)
- Should it be int the main flutter repo as a widget with material and cupertino flavors (should it also include all other media controller widgets -play/pause/...)
- Should it be a tiers package ?
Related
My attempt : flutter/plugins#1629
Use case
When using a video or audio player I'd like to be able to seek the position of the video and also see the buffer of it.
Example :

Proposal
I created a PR to add this in the
video_playerbased on thesliderwidget but got no feeback ATM :)The more I code the more I think it not only suits to the
video_playerplugin. It can also suit to a futureaudio_player.I don't really know where to create a PR for this feature :
video_playerand the)audio_playerRelated
My attempt : flutter/plugins#1629