From f58c78b8372ad2943259a1ad01efe451ad2f9314 Mon Sep 17 00:00:00 2001 From: Pdf Bot Date: Tue, 30 Jun 2015 16:32:52 +0100 Subject: [PATCH] PDF.js version 1.1.230 --- bower.json | 2 +- build/pdf.combined.js | 4 ++-- build/pdf.js | 4 ++-- build/pdf.worker.js | 4 ++-- package.json | 2 +- web/pdf_viewer.js | 10 ++++++++-- 6 files changed, 16 insertions(+), 10 deletions(-) diff --git a/bower.json b/bower.json index 662ecd637..f1d0f7d4f 100644 --- a/bower.json +++ b/bower.json @@ -1,6 +1,6 @@ { "name": "pdfjs-dist", - "version": "1.1.228", + "version": "1.1.230", "main": [ "build/pdf.js", "build/pdf.worker.js" diff --git a/build/pdf.combined.js b/build/pdf.combined.js index 652761d34..e90968627 100644 --- a/build/pdf.combined.js +++ b/build/pdf.combined.js @@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') { (typeof window !== 'undefined' ? window : this).PDFJS = {}; } -PDFJS.version = '1.1.228'; -PDFJS.build = '1b370da'; +PDFJS.version = '1.1.230'; +PDFJS.build = '1da0b3a'; (function pdfjsWrapper() { // Use strict in our context only - users might not want it diff --git a/build/pdf.js b/build/pdf.js index 5d61e7eb2..842e12d9e 100644 --- a/build/pdf.js +++ b/build/pdf.js @@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') { (typeof window !== 'undefined' ? window : this).PDFJS = {}; } -PDFJS.version = '1.1.228'; -PDFJS.build = '1b370da'; +PDFJS.version = '1.1.230'; +PDFJS.build = '1da0b3a'; (function pdfjsWrapper() { // Use strict in our context only - users might not want it diff --git a/build/pdf.worker.js b/build/pdf.worker.js index 504f01b38..0ddc9ca56 100644 --- a/build/pdf.worker.js +++ b/build/pdf.worker.js @@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') { (typeof window !== 'undefined' ? window : this).PDFJS = {}; } -PDFJS.version = '1.1.228'; -PDFJS.build = '1b370da'; +PDFJS.version = '1.1.230'; +PDFJS.build = '1da0b3a'; (function pdfjsWrapper() { // Use strict in our context only - users might not want it diff --git a/package.json b/package.json index 2f33f9db5..2c1ab076e 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "pdfjs-dist", - "version": "1.1.228", + "version": "1.1.230", "description": "Generic build of Mozilla's PDF.js library.", "keywords": [ "Mozilla", diff --git a/web/pdf_viewer.js b/web/pdf_viewer.js index bd9e222ea..78e61aacf 100644 --- a/web/pdf_viewer.js +++ b/web/pdf_viewer.js @@ -2067,6 +2067,12 @@ var PDFViewer = (function pdfViewer() { this._currentPageNumber = val; event.pageNumber = val; this.container.dispatchEvent(event); + + // Check if the caller is `PDFViewer_update`, to avoid breaking scrolling. + if (this.updateInProgress) { + return; + } + this.scrollPageIntoView(val); }, /** @@ -2496,7 +2502,7 @@ var PDFViewer = (function pdfViewer() { }; }, - update: function () { + update: function PDFViewer_update() { var visible = this._getVisiblePages(); var visiblePages = visible.views; if (visiblePages.length === 0) { @@ -2511,7 +2517,7 @@ var PDFViewer = (function pdfViewer() { this.renderingQueue.renderHighestPriority(visible); - var currentId = this.currentPageNumber; + var currentId = this._currentPageNumber; var firstPage = visible.first; for (var i = 0, ii = visiblePages.length, stillFullyVisible = false;