From 1c1c3f93992b647304a92caaf8d2b53b536dfd75 Mon Sep 17 00:00:00 2001
From: Thibault Duplessis <thibault.duplessis@gmail.com>
Date: Mon, 7 Oct 2013 00:51:08 +0200
Subject: [PATCH] tweak clock tenths of seconds threshold

---
 public/javascripts/big.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/javascripts/big.js b/public/javascripts/big.js
index f940983500..92425770a8 100644
--- a/public/javascripts/big.js
+++ b/public/javascripts/big.js
@@ -1625,7 +1625,7 @@ var storage = {
     _formatDate: function(date) {
       minutes = this._prefixInteger(date.getUTCMinutes(), 2);
       seconds = this._prefixInteger(date.getSeconds(), 2);
-      if (this.options.time < 5 * 1000) {
+      if (this.options.time < 10 * 1000) {
         tenths = Math.floor(date.getMilliseconds() / 100);
         return minutes + ':' + seconds + ':' + tenths;
       } else {