From 018649f13b339597aeb74aec2d49241e481f46c1 Mon Sep 17 00:00:00 2001
From: Calixte Denizet <calixte.denizet@gmail.com>
Date: Thu, 30 May 2024 15:08:32 +0200
Subject: [PATCH] Switch to page-scrolling mode when the pdf has more than
 10000 pages (bug 1895050)

---
 web/pdf_viewer.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/pdf_viewer.js b/web/pdf_viewer.js
index 50c42e7a6..3d373c804 100644
--- a/web/pdf_viewer.js
+++ b/web/pdf_viewer.js
@@ -70,8 +70,8 @@ import { SimpleLinkService } from "./pdf_link_service.js";
 const DEFAULT_CACHE_SIZE = 10;
 
 const PagesCountLimit = {
-  FORCE_SCROLL_MODE_PAGE: 15000,
-  FORCE_LAZY_PAGE_INIT: 7500,
+  FORCE_SCROLL_MODE_PAGE: 10000,
+  FORCE_LAZY_PAGE_INIT: 5000,
   PAUSE_EAGER_PAGE_INIT: 250,
 };