From 9f50b0af372bf41d70f1a6b5ce3c9b09d4facc79 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Mon, 2 Jan 2023 14:00:16 +0100
Subject: [PATCH] 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.
---
 web/app_options.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/web/app_options.js b/web/app_options.js
index 4d0a479d1..d0cafe242 100644
--- 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: {