Added support for jumping 5s forwards/backwards with the arrow keys

player.js

@@ -397,7 +397,7 @@ function setupPlayback(body, mainstream) {
         .forEach(function(button) {
             button.addEventListener('click', togglePlayback)})
     body.addEventListener('keyup', function(event) {
-        if(event.keyCode == 32) {
+        if(event.keyCode == 32) { //space
             togglePlayback(event)}})
     mainstream.addEventListener('ended', rewind)
 }
@@ -531,6 +531,18 @@ function setupProgress(body, mainstream, starttime) {
     window.setInterval(function() {
         printTime(mainstream.currentTime, elapsed)
     }, 500)
+    body.addEventListener('keyup', function(event) {
+        switch(event.keyCode) {
+        case 37: //left
+            setTime(mainstream.currentTime - 5)
+            break
+        case 39: //right
+            setTime(mainstream.currentTime + 5)
+            break
+        default:
+            break
+        }
+    })
 }
 
 function setupResSwitching(streamlist, defaultres) {