mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-20 07:08:08 +02:00
Code Activity

nit

Browse source
This commit is contained in:
Artur Adib 2012-09-12 15:07:23 -07:00
parent 708eb78c67
commit 0e89fe7d9d
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
web/viewer.js
View file

@ -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