search: use both title and subtitle only if different (#10848)

2025-02-25 18:55:22 -06:00 · 2022-09-23 19:57:14 +02:00
parent 25cbe68c11
commit 73a1ee4560
1 changed files with 1 additions and 1 deletions
--- a/sphinx/themes/basic/static/searchtools.js
+++ b/sphinx/themes/basic/static/searchtools.js
@@ -286,7 +286,7 @@ const Search = {
          let score = Math.round(100 * queryLower.length / title.length)
          results.push([
            docNames[file],
-            `${titles[file]} > ${title}`,
+            titles[file] !== title ? `${titles[file]} > ${title}` : title,
            id !== null ? "#" + id : "",
            null,
            score,