7 commits

Author	SHA1	Message	Date
Eugen Rochko	036ba3f510	Add tooltips to audio/video player buttons (#13203)	2020-03-05 15:52:15 +01:00
Eugen Rochko	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	2020-01-11 02:02:21 +01:00
Nima Boscarino	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	2019-10-25 11:48:20 +02:00
ThibG	bcf694dce7	Fix volume slider in chromium 🤷 (#12158) ... Fixes #12156	2019-10-24 22:49:12 +02:00
Eugen Rochko	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	2019-08-25 15:09:19 +02:00
Eugen Rochko	e72bac7576	Fix public page crash due to audio player, fix unpause in audio player (#11652)	2019-08-25 02:13:40 +02:00
Eugen Rochko	4190e31626	Add audio player (#11644)	2019-08-23 22:38:02 +02:00