From 90e2e0f3e0aaeedb5ebdfe3b3e74b51e3bdea2c8 Mon Sep 17 00:00:00 2001
From: Ernie Park <eipark@mit.edu>
Date: Tue, 7 Feb 2012 15:10:33 -0500
Subject: [PATCH] make video player use one play/pause button that toggles

---
 video.html    |  3 +--
 video_init.js | 15 ++++++++++++++-
 2 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/video.html b/video.html
index f6106fd671..4f585b4a79 100644
--- a/video.html
+++ b/video.html
@@ -15,8 +15,7 @@
 
     <section>
       <ul class="vcr">
-        <li><a class="play" onclick="play();">Play</a></li>
-        <li><a class="pause" onclick="pause();">Pause</a></li>
+        <li><a id="video_control" class="pause">Pause</a></li>
       </ul>
 
       <div id="vidtime">0:00/0:00</div>
diff --git a/video_init.js b/video_init.js
index bf1b4bf5b7..42dddad573 100644
--- a/video_init.js
+++ b/video_init.js
@@ -34,7 +34,7 @@ loadNewVideo(streams["1.0"], ${ position });
 
 function add_speed(key, stream) {
     var id = 'speed_' + stream;
-    $("#video_speeds").append(' <span id="'+id+'">'+key+'X</span>');
+    $("#video_speeds").append(' <span id="'+id+'">'+key+'x</span>');
     $("#"+id).click(function(){
       change_video_speed(key, stream);
     });
@@ -57,3 +57,16 @@ l.sort(sort_by_value);
 for(var i=0; i<l.length; i++) {
     add_speed(l[i], streams[l[i]])
 }
+
+//toggle video play/pause. the HTML assumes video is always autoplayed
+//initially since it starts with class "pause". may want to set that in
+//javascript
+$("#video_control").click(function(){
+  if ($(this).hasClass("play")){
+    play();
+    $(this).removeClass().addClass("pause");
+  } else {
+    pause();
+    $(this).removeClass().addClass("play");
+  }
+});