Merge remote-tracking branch 'origin/master' into develop

d0vgan · Nov 11, 2024 · 7a722bc · 7a722bc
2 parents 5722e64 + cda800e
commit 7a722bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 });