|
|
@ -1047,6 +1047,11 @@ var PDFView = { |
|
|
|
// updated if the zoom level stayed the same.
|
|
|
|
// updated if the zoom level stayed the same.
|
|
|
|
this.currentScale = 0; |
|
|
|
this.currentScale = 0; |
|
|
|
this.currentScaleValue = null; |
|
|
|
this.currentScaleValue = null; |
|
|
|
|
|
|
|
// When opening a new file (when one is already loaded in the viewer):
|
|
|
|
|
|
|
|
// Reset 'currentPageNumber', since otherwise the page's scale will be wrong
|
|
|
|
|
|
|
|
// if 'currentPageNumber' is larger than the number of pages in the file.
|
|
|
|
|
|
|
|
document.getElementById('pageNumber').value = currentPageNumber = 1; |
|
|
|
|
|
|
|
|
|
|
|
if (PDFHistory.initialDestination) { |
|
|
|
if (PDFHistory.initialDestination) { |
|
|
|
this.navigateTo(PDFHistory.initialDestination); |
|
|
|
this.navigateTo(PDFHistory.initialDestination); |
|
|
|
PDFHistory.initialDestination = null; |
|
|
|
PDFHistory.initialDestination = null; |
|
|
|