From 14ade88362499cea5a0f985e26edada478582aa5 Mon Sep 17 00:00:00 2001
From: Dennis Eichhorn <spl1nes.com@googlemail.com>
Date: Sat, 26 Feb 2022 00:04:14 +0100
Subject: [PATCH] minor bug fixes

---
 mozilla/Pdf/web/images/.directory | 4 ----
 mozilla/Pdf/web/viewer.js         | 5 ++++-
 2 files changed, 4 insertions(+), 5 deletions(-)
 delete mode 100644 mozilla/Pdf/web/images/.directory

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");