IntenseWebs/sphinx
3
0 Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2026-11-02 20:30:30 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6408 from jia-kai/fix-search-ranking

Browse Source 
Fix the ranking of search results
This commit is contained in:
Takeshi KOMIYA authored and GitHub committed 2019-05-31 00:48:30 +09:00
2 parents 0d6ca0ae04 272c34edeb
commit f7bf66012c
1 file changed
+4 -3
Download Patch File Download Diff File Expand all files Collapse all files
sphinx/themes/basic/static/searchtools.js
+4 -3
View File
@@ -319,12 +319,13 @@ var Search = {
for (var prefix in objects) {
for (var name in objects[prefix]) {
var fullname = (prefix ? prefix + '.' : '') + name;
if (fullname.toLowerCase().indexOf(object) > -1) {
var fullnameLower = fullname.toLowerCase()
if (fullnameLower.indexOf(object) > -1) {
var score = 0;
var parts = fullname.split('.');
var parts = fullnameLower.split('.');
// check for different match types: exact matches of full name or
// "last name" (i.e. last dotted part)
if (fullname == object || parts[parts.length - 1] == object) {
if (fullnameLower == object || parts[parts.length - 1] == object) {
score += Scorer.objNameMatch;
// matches in last name
} else if (parts[parts.length - 1].indexOf(object) > -1) {