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

Remove the unused `AppOptions.remove` method
Aditi-1400 · Jul 21, 2024 · 98e7727 · 98e7727
2 parents 422b3e4 + d9ff29a
commit 98e7727
Showing 1 changed file with 1 addition and 13 deletions.
diff --git a/web/app_options.js b/web/app_options.js
@@ -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")) {