mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-19 14:48:08 +02:00
Code Activity

Merge pull request #18475 from Snuffleupagus/rm-AppOptions-remove

Browse source 
Remove the unused `AppOptions.remove` method
This commit is contained in:
Tim van der Meij 2024-07-21 21:28:52 +02:00 • committed by GitHub
commit 98e772727e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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();
if (typeof PDFJSDev === "undefined" || PDFJSDev.test("GENERIC")) {
// Apply any compatibility-values to the user-options,
// see also `AppOptions.remove` below.
// Apply any compatibility-values to the user-options.
for (const [name, value] of compatParams) {
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")) {