From cda800e13e68241039115a9231a0a78ace61c958 Mon Sep 17 00:00:00 2001
From: Vitalii Dovgan <dvv81@ukr.net>
Date: Mon, 11 Nov 2024 21:55:34 +0200
Subject: [PATCH] correction in "docs/search.js"

---
 docs/search.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/search.js b/docs/search.js
index 251c716..bb819ae 100644
--- a/docs/search.js
+++ b/docs/search.js
@@ -86,7 +86,7 @@ window.onload = function() {
         });
         searchResults.style.display = 'block';
         /* Min visible size is 2 b/c the <optgroup> label is counted */
-        helpTopics.size = Math.max(foundTopics.length, 2);
+        helpTopics.size = Math.max(foundTopics.length + 1, 2);
         /* Make sure mobile <select> boxes are never blank */
         helpTopics.selectedIndex = 0;
         helpTopics.addEventListener('change', clickToView, { 'passive': false });