|
|
@ -2067,6 +2067,12 @@ var PDFViewer = (function pdfViewer() { |
|
|
|
this._currentPageNumber = val; |
|
|
|
this._currentPageNumber = val; |
|
|
|
event.pageNumber = val; |
|
|
|
event.pageNumber = val; |
|
|
|
this.container.dispatchEvent(event); |
|
|
|
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 visible = this._getVisiblePages(); |
|
|
|
var visiblePages = visible.views; |
|
|
|
var visiblePages = visible.views; |
|
|
|
if (visiblePages.length === 0) { |
|
|
|
if (visiblePages.length === 0) { |
|
|
@ -2511,7 +2517,7 @@ var PDFViewer = (function pdfViewer() { |
|
|
|
|
|
|
|
|
|
|
|
this.renderingQueue.renderHighestPriority(visible); |
|
|
|
this.renderingQueue.renderHighestPriority(visible); |
|
|
|
|
|
|
|
|
|
|
|
var currentId = this.currentPageNumber; |
|
|
|
var currentId = this._currentPageNumber; |
|
|
|
var firstPage = visible.first; |
|
|
|
var firstPage = visible.first; |
|
|
|
|
|
|
|
|
|
|
|
for (var i = 0, ii = visiblePages.length, stillFullyVisible = false; |
|
|
|
for (var i = 0, ii = visiblePages.length, stillFullyVisible = false; |
|
|
|