Enable the defaultZoomDelay option/preference unconditionally (PR 15812 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.
2023-01-02 14:00:16 +01:00 · 2023-01-02 14:00:16 +01:00 · 9f50b0af37
commit 9f50b0af37
parent e7cea29ad4
1 changed files with 1 additions and 2 deletions
--- 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: {