diff --git a/web/pdf_page_view.js b/web/pdf_page_view.js index 3e25b0a11..39b61f016 100644 --- a/web/pdf_page_view.js +++ b/web/pdf_page_view.js @@ -255,15 +255,6 @@ class PDFPageView { } } - /** - * Called when moved in the parent's container. - */ - updatePosition() { - if (this.textLayer) { - this.textLayer.render(TEXT_LAYER_RENDER_DELAY); - } - } - cssTransform(target, redrawAnnotations = false) { // Scale target (canvas or svg), its wrapper and page container. let width = this.viewport.width; diff --git a/web/pdf_viewer.js b/web/pdf_viewer.js index dbc1ac758..923775d3c 100644 --- a/web/pdf_viewer.js +++ b/web/pdf_viewer.js @@ -452,14 +452,11 @@ var PDFViewer = (function pdfViewer() { this.viewer.textContent = ''; }, - _scrollUpdate: function PDFViewer_scrollUpdate() { + _scrollUpdate() { if (this.pagesCount === 0) { return; } this.update(); - for (var i = 0, ii = this._pages.length; i < ii; i++) { - this._pages[i].updatePosition(); - } }, _setScaleDispatchEvent: function pdfViewer_setScaleDispatchEvent(