90477d7e4d
Fix audio player not working when media files are hosted on a different domain ( #14118 )
4 years ago
563a77d0b4
Change design of audio players in web UI ( #14095 )
4 years ago
3f5fa64211
Fix initial audio volume not corresponding to what's displayed ( #14057 )
4 years ago
635812f9ea
Add tooltips to audio/video player buttons ( #13203 )
5 years ago
1d5e283c06
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
3a451c820c
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
2ac808a85d
Fix volume slider in chromium 🤷 ( #12158 )
...
Fixes #12156
5 years ago
eaa759ffd4
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
c8df53b75f
Fix public page crash due to audio player, fix unpause in audio player ( #11652 )
5 years ago
f13761d84b
Add audio player ( #11644 )
5 years ago
ThibG
Eugen Rochko
Nima Boscarino