From ccfb0e2d566f6369144f7050eac3a27c7044178e Mon Sep 17 00:00:00 2001 From: s1341 Date: Mon, 16 Dec 2013 14:31:48 +0200 Subject: [PATCH] Change changesetLoader to run every 200ms:wq --- src/static/js/broadcast_slider.js | 2 +- src/static/js/revisioncache.js | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/static/js/broadcast_slider.js b/src/static/js/broadcast_slider.js index 1fae875c5..8ffbb0bb0 100644 --- a/src/static/js/broadcast_slider.js +++ b/src/static/js/broadcast_slider.js @@ -109,7 +109,7 @@ $.Class("RevisionSlider", while (str.length < length) str = '0' + str; return str; - } + }; var months = [ html10n.get("timeslider.month.january"), html10n.get("timeslider.month.february"), diff --git a/src/static/js/revisioncache.js b/src/static/js/revisioncache.js index e3d22f363..dec978171 100644 --- a/src/static/js/revisioncache.js +++ b/src/static/js/revisioncache.js @@ -419,7 +419,7 @@ Thread("ChangesetLoader", * for communication with the server. */ init: function (connection) { - this._super(2000); + this._super(200); this.connection = connection; this.queues = { small: [], @@ -575,7 +575,7 @@ $.Class("PadClient", if (atRevision_callback) atRevision_callback.call(this, this.revision, this.timestamp); return; - }; + } this.revisionCache.transition(this.revision.revnum, revnum, function (path) { console.log("[padclient > applyChangeset_callback] path:", path);