Enable the defaultZoomDelay option/preference unconditionally (PR 1…

…5812 follow-up) This option/preference was disabled in GENERIC builds, see PR 15812, to avoid landing it *just before* a new release. Hence it should be fine to enable this now.
mozilla · Jan 2, 2023 · 9f50b0a · 9f50b0a
1 parent e7cea29
commit 9f50b0a
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/web/app_options.js b/web/app_options.js
@@ -70,8 +70,7 @@ const defaultOptions = {
   },
   defaultZoomDelay: {
     /** @type {number} */
-    value:
-      typeof PDFJSDev === "undefined" || !PDFJSDev.test("GENERIC") ? 400 : -1,
+    value: 400,
     kind: OptionKind.VIEWER + OptionKind.PREFERENCE,
   },
   defaultZoomValue: {