From 0e89fe7d9de364ec4de46ac7489f2172d1afd807 Mon Sep 17 00:00:00 2001 From: Artur Adib Date: Wed, 12 Sep 2012 15:07:23 -0700 Subject: [PATCH] nit --- web/viewer.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/web/viewer.js b/web/viewer.js index 0198e5ad3..1ccacdf74 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -1867,9 +1867,9 @@ var TextLayerBuilder = function textLayerBuilder(textLayerDiv) { this.endLayout = function textLayerBuilderEndLayout() { // Schedule renderLayout() if user has been scrolling, otherwise // run it right away - var renderDelay = 200; // in ms + var kRenderDelay = 200; // in ms var self = this; - if (Date.now() - PDFView.lastScroll > renderDelay) { + if (Date.now() - PDFView.lastScroll > kRenderDelay) { // Render right away this.renderLayer(); } else { @@ -1878,7 +1878,7 @@ var TextLayerBuilder = function textLayerBuilder(textLayerDiv) { clearTimeout(this.renderTimer); this.renderTimer = setTimeout(function() { self.endLayout(); - }, renderDelay); + }, kRenderDelay); } }; // endLayout