diff --git a/mozilla/Pdf/web/images/.directory b/mozilla/Pdf/web/images/.directory deleted file mode 100644 index ca6e38a..0000000 --- a/mozilla/Pdf/web/images/.directory +++ /dev/null @@ -1,4 +0,0 @@ -[Dolphin] -PreviewsShown=true -Timestamp=2021,1,22,19,34,58 -Version=4 diff --git a/mozilla/Pdf/web/viewer.js b/mozilla/Pdf/web/viewer.js index 1653b67..981d6c7 100644 --- a/mozilla/Pdf/web/viewer.js +++ b/mozilla/Pdf/web/viewer.js @@ -844,6 +844,9 @@ const PDFViewerApplication = { await this.close(); } + file = file.replaceAll('+', ' '); + file = file.replaceAll('#', '%23'); + const workerParameters = _app_options.AppOptions.getAll(_app_options.OptionKind.WORKER); for (const key in workerParameters) { @@ -2896,7 +2899,7 @@ function getOutputScale(ctx) { } function scrollIntoView(element, spot, skipOverflowHiddenElements = false) { - let parent = element.offsetParent; + let parent = element.offsetParent === null ? document.body : element.offsetParent; if (!parent) { console.error("offsetParent is not set -- cannot scroll");