diff --git a/web/app.js b/web/app.js index 63eb8a9ce..29eba0fd3 100644 --- a/web/app.js +++ b/web/app.js @@ -1971,6 +1971,13 @@ const PDFViewerApplication = { const mediaQueryList = window.matchMedia( `(resolution: ${window.devicePixelRatio || 1}dppx)` ); + if ( + typeof PDFJSDev !== "undefined" && + PDFJSDev.test("GENERIC && !SKIP_BABEL") && + typeof mediaQueryList.addEventListener !== "function" + ) { + return; // Not supported in Safari<14. + } mediaQueryList.addEventListener("change", addWindowResolutionChange, { once: true, });