Also update the browser history when the user manually change pages using the pageNumber-input (PR 12493 follow-up)#12559

Merged

timvandermeij merged 3 commits intomozilla:masterfrom Snuffleupagus:goToPage-labels

Nov 3, 2020

+42-18

Commits on Nov 1, 2020

Add early returns to a couple of PDFLinkService methods, when there's no active PDF document
Snuffleupagus
committed
Also update the browser history when the user *manually* change pages using the pageNumber-input (PR 12493 follow-up)
Snuffleupagus
committed

Commits on Nov 2, 2020

Use optional chaining in web/pdf_history.js
Snuffleupagus
committed