Support adding pages, in addition to regular destinations, to the browser history and use it with thumbnails (issue 12440)#12493

Merged

timvandermeij merged 3 commits intomozilla:masterfrom Snuffleupagus:PDFHistory.pushPage

Oct 20, 2020

+191-94

Commits on Oct 18, 2020

Re-name and re-factor the PDFLinkService.navigateTo method
Snuffleupagus
committed
Support adding pages, in addition to regular destinations, to the browser history and use it with thumbnails (issue 12440)
Snuffleupagus
committed
Move updating of this._maxUid into PDFHistory._updateInternalState
Snuffleupagus
committed