diff options
Diffstat (limited to 'containerchan/playersettings.js')
| -rw-r--r-- | containerchan/playersettings.js | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/containerchan/playersettings.js b/containerchan/playersettings.js deleted file mode 100644 index 861d27c2..00000000 --- a/containerchan/playersettings.js +++ /dev/null @@ -1,28 +0,0 @@ -/* This file is dedicated to the public domain; you may do as you wish with it. */ -if (window.addEventListener) window.addEventListener("load", function(e) { - document.getElementById("playerheader").appendChild(settingsMenu); - - var video = document.getElementsByTagName("video")[0]; - - var loopLinks = [document.getElementById("loop0"), document.getElementById("loop1")]; - function setupLoopLink(i) { - loopLinks[i].addEventListener("click", function(e) { - if (!e.shiftKey && !e.ctrlKey && !e.altKey && !e.metaKey) { - video.loop = (i != 0); - if (i != 0 && video.currentTime >= video.duration) { - video.currentTime = 0; - } - loopLinks[i].style.fontWeight = "bold"; - loopLinks[1-i].style.fontWeight = "inherit"; - e.preventDefault(); - } - }, false); - } - for (var i = 0; i < 2; i++) { - setupLoopLink(i); - } - - video.muted = (setting("videovolume") == 0); - video.volume = setting("videovolume"); - video.play(); -}, false); |
