ZenBrowserMirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/zen-browser/pdf.js.git synced 2025-07-08 01:10:08 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove the unused AppOptions.remove method

Browse source 
This method has *never* been used anywhere in the code-base, so I really don't know why I added it originally.
This commit is contained in:
Jonas Jenwald 2024-07-21 19:26:15 +02:00
parent 0c34efbef9
commit d9ff29a46b
1 changed files with 1 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

14
web/app_options.js
View file

@ -475,8 +475,7 @@ if (typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")) {
const userOptions = new Map(); const userOptions = new Map();
if (typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")) { if (typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")) {
// Apply any compatibility-values to the user-options, // Apply any compatibility-values to the user-options.
// see also `AppOptions.remove` below.
for (const [name, value] of compatParams) { for (const [name, value] of compatParams) {
userOptions.set(name, value); userOptions.set(name, value);
} }
@ -611,17 +610,6 @@ class AppOptions {
} }
} }
} }
static remove(name) {
userOptions.delete(name);
if (typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")) {
// Re-apply a compatibility-value, if it exists, to the user-options.
if (compatParams.has(name)) {
userOptions.set(name, compatParams.get(name));
}
}
}
} }
if (typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")) { if (typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")) {