New feat : Redesigned audio player (#279)

* New audio player

* New style

* Readd vertical bar

* Improve appearance safari

* Improve layout

* Improve alignement of bottom elements

* Align
This commit is contained in:
Alexandre
2025-04-12 10:09:03 +02:00
committed by GitHub
parent a0087b2911
commit 7c22e2593e
5 changed files with 787 additions and 45 deletions
+12 -10
View File
@@ -385,19 +385,21 @@ function myFunction() {
}
}
function setLiveStreamVolume(vol) {
var audioelement = window.parent.document.getElementsByTagName("audio")[0];
if (typeof(audioelement) != 'undefined' && audioelement != null)
{
audioelement.volume = vol
}
var audioElements = document.querySelectorAll(".custom-audio-player audio");
audioElements.forEach(audioEl => {
if (audioEl) {
audioEl.volume = vol;
}
});
}
window.onbeforeunload = function(event) {
// if the user is playing a video and then navigates away mid-play, the live stream audio should be unmuted again
var audioelement = window.parent.document.getElementsByTagName("audio")[0];
if (typeof(audioelement) != 'undefined' && audioelement != null)
{
audioelement.volume = 1
}
var audioElements = document.querySelectorAll(".custom-audio-player audio");
audioElements.forEach(audioEl => {
if (audioEl) {
audioEl.volume = 1;
}
});
}
function getTheDate(increment) {