Change changesetLoader to run every 200ms:wq

This commit is contained in:
s1341 2013-12-16 14:31:48 +02:00
parent b8591edc8d
commit ccfb0e2d56
2 changed files with 3 additions and 3 deletions

View file

@ -109,7 +109,7 @@ $.Class("RevisionSlider",
while (str.length < length) while (str.length < length)
str = '0' + str; str = '0' + str;
return str; return str;
} };
var months = [ var months = [
html10n.get("timeslider.month.january"), html10n.get("timeslider.month.january"),
html10n.get("timeslider.month.february"), html10n.get("timeslider.month.february"),

View file

@ -419,7 +419,7 @@ Thread("ChangesetLoader",
* for communication with the server. * for communication with the server.
*/ */
init: function (connection) { init: function (connection) {
this._super(2000); this._super(200);
this.connection = connection; this.connection = connection;
this.queues = { this.queues = {
small: [], small: [],
@ -575,7 +575,7 @@ $.Class("PadClient",
if (atRevision_callback) if (atRevision_callback)
atRevision_callback.call(this, this.revision, this.timestamp); atRevision_callback.call(this, this.revision, this.timestamp);
return; return;
}; }
this.revisionCache.transition(this.revision.revnum, revnum, function (path) { this.revisionCache.transition(this.revision.revnum, revnum, function (path) {
console.log("[padclient > applyChangeset_callback] path:", path); console.log("[padclient > applyChangeset_callback] path:", path);