Tim van der Meij 9b42ae9612
Merge pull request #13993 from Snuffleupagus/app-pdfHistory-init
Don't create `PDFViewerApplication.pdfHistory` when the browsing history is disabled
2021-09-11 13:21:42 +02:00
..