Voice message scrubbing improvements

[julioromano]

• Voice messages can be scrubbed (i.e. seeked to) even when they have not been played yet..
• The progress bar is displayed also when paused.
• Multiple voice messages can keep their state when paused.
• Tries to adhere as much as possible at the detailed "green cursor" behavior in the story (but might not be 100% compliant).

Story: element-hq/element-meta#2113

[sonarqubecloud]

Kudos, SonarCloud Quality Gate passed!   

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

No Coverage information
No Duplication information

[codecov]

Codecov Report

Attention: 11 lines in your changes are missing coverage. Please review.

Comparison is base (92df822) 63.57% compared to head (af35146) 63.61%.
Report is 2 commits behind head on develop.

Files	Patch %	Lines
...roid/libraries/mediaplayer/impl/MediaPlayerImpl.kt	0.00%	6 Missing ⚠️
.../impl/voicemessages/timeline/VoiceMessagePlayer.kt	95.91%	0 Missing and 2 partials ⚠️
...pl/voicemessages/timeline/VoiceMessagePresenter.kt	86.66%	1 Missing and 1 partial ⚠️
...android/libraries/mediaplayer/impl/SimplePlayer.kt	0.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff             @@
##           develop    #1847      +/-   ##
===========================================
+ Coverage    63.57%   63.61%   +0.04%     
===========================================
  Files         1313     1313              
  Lines        34201    34255      +54     
  Branches      7091     7096       +5     
===========================================
+ Hits         21742    21791      +49     
- Misses        9217     9219       +2     
- Partials      3242     3245       +3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[jmartinesp]

LGTM, thanks! It's not something that started in this PR, but maybe it would be good to rename MediaPlayer.State to something like MediaPlayer.SharedState / GlobalState? Or add some docs to it, so we know that's shared for all voice players and the internal one is local to this one.

[github-actions]

📱 Scan the QR code below to install the build (arm64 only) for this PR.

If you can't scan the QR code you can install the build via this link: https://i.diawi.com/rmCt4a

[julioromano]

LGTM, thanks! It's not something that started in this PR, but maybe it would be good to rename MediaPlayer.State to something like MediaPlayer.SharedState / GlobalState? Or add some docs to it, so we know that's shared for all voice players and the internal one is local to this one.

I'd prefer to improve the docs rather than rename stuff otherwise names could get quite lengthy.
I'll be glad to open a doc improvment PR, but so far nothing comes to my mind about what to improve specifically.
Let's talk about it!