11 Commits

Author	SHA1	Message	Date
Eugen Rochko	419ad6248b	Change volume control and download buttons in web UI (#14122) ... * Fix audio download button not starting download in web UI * Fix volume controls on audio and video players in web UI * Remove download button from video player in web UI	2020-06-23 12:20:14 +02:00
ThibG	aaf91abffa	Fix audio player not working when media files are hosted on a different domain (#14118)	2020-06-22 19:24:16 +02:00
Eugen Rochko	75a2b8f815	Change design of audio players in web UI (#14095)	2020-06-21 02:27:19 +02:00
ThibG	755e8c76ab	Fix initial audio volume not corresponding to what's displayed (#14057)	2020-06-15 16:43:30 +02:00
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