From e981badb9479cbb8684fbbf062ac76e7a8a481d6 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Mon, 13 Mar 2023 16:46:33 +0100
Subject: [PATCH] Mark `updateMatchesCountOnProgress`, in the
 PDFFindControllerOptions, as optional (issue 15990)

---
 web/pdf_find_controller.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/pdf_find_controller.js b/web/pdf_find_controller.js
index ecc52295f..cbb2b4f6b 100644
--- a/web/pdf_find_controller.js
+++ b/web/pdf_find_controller.js
@@ -369,7 +369,7 @@ function getOriginalIndex(diffs, pos, len) {
  * @typedef {Object} PDFFindControllerOptions
  * @property {IPDFLinkService} linkService - The navigation/linking service.
  * @property {EventBus} eventBus - The application event bus.
- * @property {boolean} updateMatchesCountOnProgress - True if the matches
+ * @property {boolean} [updateMatchesCountOnProgress] - True if the matches
  *   count must be updated on progress or only when the last page is reached.
  *   The default value is `true`.
  */