Jingga/Resources
1
0
Fork 0
mirror of https://github.com/Karaka-Management/Resources.git synced 2026-01-11 13:28:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

minor bug fixes

Browse Source
This commit is contained in:
Dennis Eichhorn 2022-02-26 00:04:14 +01:00
parent f9c9fd9bb0
commit 14ade88362
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mozilla/Pdf/web/images/.directory
View File

@ -1,4 +0,0 @@
[Dolphin]
PreviewsShown=true
Timestamp=2021,1,22,19,34,58
Version=4

5
mozilla/Pdf/web/viewer.js
View File

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