From bd0e9a9d41bbe7a5a5cee99656075f4aa0bc0350 Mon Sep 17 00:00:00 2001
From: Marcin Kulik <marcin.kulik@llp.pl>
Date: Wed, 9 Mar 2011 22:47:11 +0100
Subject: [PATCH] Skip delays below fixed threshold

---
 public/javascripts/player.js | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/public/javascripts/player.js b/public/javascripts/player.js
index 7f4e0f0..c0098ba 100644
--- a/public/javascripts/player.js
+++ b/public/javascripts/player.js
@@ -1,6 +1,7 @@
 var SP = {};
 
 var speed = 1.0;
+var minDelay = 0.01;
 
 SP.Player = function(cols, lines, data, time) {
   this.terminal = new SP.Terminal(cols, lines);
@@ -25,7 +26,7 @@ SP.Player.prototype = {
 
     this.terminal.restartCursorBlink();
 
-    setTimeout(function() {
+    var run = function() {
       var rest = this.interpreter.feed(this.currentData);
       this.terminal.updateDirtyLines();
       var n = timing[1];
@@ -50,8 +51,14 @@ SP.Player.prototype = {
       if (!window.stopped) {
         this.nextFrame();
       }
+    }.bind(this);
 
-    }.bind(this), timing[0] * 1000 * (1.0 / speed));
+
+    if (timing[0] > minDelay) {
+      setTimeout(run, timing[0] * 1000 * (1.0 / speed));
+    } else {
+      run();
+    }
   }
 }