From 8ac2ccc54dab2049cd92096c3448d6fdfab436ac Mon Sep 17 00:00:00 2001
From: Martynas Bagdonas <git.martynas@gmail.com>
Date: Wed, 25 Sep 2024 17:19:23 +0100
Subject: [PATCH] Temporary workaround for stuck zoom on older Firefox versions
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

`scrollend` event is just not called if rapidly scrolling with mouse wheel and pressing Cmd/Ctrl to zoom.
The problem doesn’t occur on Firefox 132, and possibly some earlier versions
---
 web/app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/app.js b/web/app.js
index eaf7761893973..ab47deed2a8ad 100644
--- a/web/app.js
+++ b/web/app.js
@@ -2115,7 +2115,7 @@ const PDFViewerApplication = {
       }
 
       mainContainer.removeEventListener("scroll", scroll);
-      this._isScrolling = true;
+      // this._isScrolling = true;
       mainContainer.addEventListener("scrollend", scrollend, { signal });
       mainContainer.addEventListener("blur", scrollend, { signal });
     };