diff options
author | Martin Liška <mliska@suse.cz> | 2022-09-23 20:57:14 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-23 20:57:14 +0300 |
commit | 73a1ee4560d95b72762a6efded586ee174b5e4e7 (patch) | |
tree | 25e7c445b35e2e3944e7eba41c5f23621ffa52e2 | |
parent | 25cbe68c11dd43d6797ecb06597b658fa14f468e (diff) |
search: use both title and subtitle only if different (#10848)
-rw-r--r-- | sphinx/themes/basic/static/searchtools.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/themes/basic/static/searchtools.js b/sphinx/themes/basic/static/searchtools.js index 0073f7e94..f16afbcbb 100644 --- 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, |