mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 22:58:07 +02:00
Code Activity

Tweak the PDFHistory._tryPushCurrentPosition method to work better with the different Scroll/Spread viewer modes

Browse source 
Given that a larger number of pages may now be visible at once, and importantly that their layout may be non-vertical, one of the conditions should be tweaked to not accidentally miss cases where a page is still visible.

Please note: This patch is based on code-inspection, and the only ill effect occurring without it would be a couple of (near) duplicate history entries in some *rare* edge-cases.
This commit is contained in:
Jonas Jenwald 2018-12-07 12:55:19 +01:00
parent 9a1e51af24
commit 89e479dd6c
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
web/pdf_history.js
View file

@ -329,8 +329,8 @@ class PDFHistory {
}
let forceReplace = false;
if (this._destination.page === position.first ||
this._destination.page === position.page) {
if (this._destination.page >= position.first &&
this._destination.page <= position.page) {
// When the `page` of `this._destination` is still visible, do not
// update the browsing history when `this._destination` either:
// - contains an internal destination, since in this case we