| OLD | NEW |
| 1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
| 2 <html i18n-values="dir:textdirection;"> | 2 <html i18n-values="dir:textdirection;"> |
| 3 <head> | 3 <head> |
| 4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
| 5 <title>Media Player</title> | 5 <title>Media Player</title> |
| 6 <style type="text/css"> | 6 <style type="text/css"> |
| 7 | 7 |
| 8 body { | 8 body { |
| 9 overflow: hidden; | 9 overflow: hidden; |
| 10 background: black; | 10 background: black; |
| (...skipping 363 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 374 } | 374 } |
| 375 | 375 |
| 376 function setupMediaEvents(element) { | 376 function setupMediaEvents(element) { |
| 377 element.addEventListener("progress", onLoadedProgress, true); | 377 element.addEventListener("progress", onLoadedProgress, true); |
| 378 element.addEventListener("timeupdate", onMediaProgress, true); | 378 element.addEventListener("timeupdate", onMediaProgress, true); |
| 379 element.addEventListener("durationchange", onMetadataAvail, true); | 379 element.addEventListener("durationchange", onMetadataAvail, true); |
| 380 // element.addEventListener("ended", onMediaComplete, true); | 380 // element.addEventListener("ended", onMediaComplete, true); |
| 381 element.onerror = onMediaError; | 381 element.onerror = onMediaError; |
| 382 element.addEventListener("play", onMediaPlay, true); | 382 element.addEventListener("play", onMediaPlay, true); |
| 383 element.addEventListener("pause", onMediaPause, true); | 383 element.addEventListener("pause", onMediaPause, true); |
| 384 element.oncontextmenu = function() { |
| 385 return false; |
| 386 }; |
| 384 } | 387 } |
| 385 | 388 |
| 386 function getMediaElement() { | 389 function getMediaElement() { |
| 387 var mediaElement; | 390 var mediaElement; |
| 388 if (videoPlaybackElement) { | 391 if (videoPlaybackElement) { |
| 389 mediaElement = videoPlaybackElement; | 392 mediaElement = videoPlaybackElement; |
| 390 } else { | 393 } else { |
| 391 mediaElement = audioPlaybackElement; | 394 mediaElement = audioPlaybackElement; |
| 392 } | 395 } |
| 393 return mediaElement; | 396 return mediaElement; |
| (...skipping 335 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 729 } | 732 } |
| 730 } | 733 } |
| 731 | 734 |
| 732 </script> | 735 </script> |
| 733 <body onload='load();' onselectstart='return false'> | 736 <body onload='load();' onselectstart='return false'> |
| 734 <div id='glow' class='glow'></div> | 737 <div id='glow' class='glow'></div> |
| 735 <div id='playercontrols' class='playercontrols'> | 738 <div id='playercontrols' class='playercontrols'> |
| 736 </div> | 739 </div> |
| 737 </body> | 740 </body> |
| 738 </html> | 741 </html> |
| OLD | NEW |