From d89babfaeb941b394dcc8b1c7e9595e4a251c849 Mon Sep 17 00:00:00 2001
From: s1341 <github@shmarya.net>
Date: Sun, 22 Dec 2013 18:27:34 +0200
Subject: [PATCH] Handle clicking slider when playing

---
 src/static/js/revisionslider.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/static/js/revisionslider.js b/src/static/js/revisionslider.js
index 84d2a9f4c..2fd092686 100644
--- a/src/static/js/revisionslider.js
+++ b/src/static/js/revisionslider.js
@@ -49,11 +49,13 @@ $.Class("RevisionSlider",
     },
     onChange: function (value) {
       console.log("in change handler:", value);
-      this.goToRevision(value);
+      if (!this.is_playing)
+        this.goToRevision(value);
     },
     onSlide: function (value) {
       console.log("in slide handler:", value);
-      this.goToRevision(value);
+      if (!this.is_playing)
+        this.goToRevision(value);
     },
     /**
      * Populate the elements dictionary with the various elements we might want