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

Make the textLayer use extracted textContent

Browse source
This commit is contained in:
Julian Viereck 2012-09-11 16:26:29 -07:00
parent 668c2867d4
commit 3db4e7266e
1 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

16
web/viewer.js
View file

@ -1847,6 +1847,8 @@ var TextLayerBuilder = function textLayerBuilder(textLayerDiv) {
this.textLayerQueue = [];
};
this.endLayout = function textLayerBuilderEndLayout() { };
this.renderLayer = function textLayerBuilderRenderLayer() {
var self = this;
var textDivs = this.textDivs;
@ -1878,7 +1880,7 @@ var TextLayerBuilder = function textLayerBuilder(textLayerDiv) {
textLayerDiv.appendChild(textLayerFrag);
};
this.endLayout = function textLayerBuilderEndLayout() {
this.setupRenderLayoutTimer = function textLayerSetupRenderLayoutTimer() {
// Schedule renderLayout() if user has been scrolling, otherwise
// run it right away
var kRenderDelay = 200; // in ms
@ -1891,10 +1893,10 @@ var TextLayerBuilder = function textLayerBuilder(textLayerDiv) {
if (this.renderTimer)
clearTimeout(this.renderTimer);
this.renderTimer = setTimeout(function() {
self.endLayout();
self.setupRenderLayoutTimer();
}, kRenderDelay);
}
}; // endLayout
};
this.appendText = function textLayerBuilderAppendText(text,
fontName, fontSize) {
@ -1917,6 +1919,14 @@ var TextLayerBuilder = function textLayerBuilder(textLayerDiv) {
this.setTextContent = function textLayerBuilderSetTextContent(textContent) {
// When calling this function, we assume rendering the textDivs has finished
var textDivs = this.textDivs;
for (var i = 0; i < textContent.length; i++) {
textDivs[i].textContent = textContent[i];
}
this.setupRenderLayoutTimer();
};
};