aaf91abffa
Fix audio player not working when media files are hosted on a different domain ( #14118 )
5 years ago
75a2b8f815
Change design of audio players in web UI ( #14095 )
5 years ago
755e8c76ab
Fix initial audio volume not corresponding to what's displayed ( #14057 )
5 years ago
036ba3f510
Add tooltips to audio/video player buttons ( #13203 )
5 years ago
baa3db3001
Change audio/video playback to stop playback when out of view ( #12486 )
...
Change video player to not loop, since the audio player doesn't
Change playback and mute buttons to feel snappier
5 years ago
9b36f62df6
Add download button to audio and video players ( #12179 )
...
* Add download button for audio player
* Add download button for video player
* fix padding for download button in Audio component
5 years ago
bcf694dce7
Fix volume slider in chromium 🤷 ( #12158 )
...
Fixes #12156
5 years ago
2e99e3cab3
Fix more visual issues with the audio player ( #11654 )
...
* Fix more visual issues with the audio player
- Add horizontal baseline in the middle of waveform
- Fix audio player colors in light theme
- Use audio element instead of web audio API
- Do not render any bars until the file is loaded
- Do not allow interactions with waveform until the file is loaded
* Fix code style issue
5 years ago
e72bac7576
Fix public page crash due to audio player, fix unpause in audio player ( #11652 )
5 years ago
4190e31626
Add audio player ( #11644 )
5 years ago
ThibG