bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

make doc search more relevant

Browse source
This commit is contained in:
Guillaume Gomez 2017-12-13 00:20:45 +01:00
parent b4f323254a
commit 6351ebb7e5
1 changed files with 7 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

19
src/librustdoc/html/static/main.js
View file

@ -681,6 +681,9 @@
} }
function checkPath(startsWith, lastElem, ty) { function checkPath(startsWith, lastElem, ty) {
if (startsWith.length === 0) {
return 0;
}
var ret_lev = MAX_LEV_DISTANCE + 1; var ret_lev = MAX_LEV_DISTANCE + 1;
var path = ty.path.split("::"); var path = ty.path.split("::");
@ -706,18 +709,7 @@
lev_total += lev; lev_total += lev;
} }
if (aborted === false) { if (aborted === false) {
var extra = MAX_LEV_DISTANCE + 1; ret_lev = Math.min(ret_lev, Math.round(lev_total / startsWith.length));
if (i + startsWith.length < path.length) {
extra = levenshtein(path[i + startsWith.length], lastElem);
}
if (extra > MAX_LEV_DISTANCE) {
extra = levenshtein(ty.name, lastElem);
}
if (extra < MAX_LEV_DISTANCE + 1) {
lev_total += extra;
ret_lev = Math.min(ret_lev,
Math.round(lev_total / (startsWith.length + 1)));
}
} }
} }
return ret_lev; return ret_lev;
@ -934,6 +926,9 @@
} }
lev += lev_add; lev += lev_add;
if (searchWords[j].startsWith(val)) {
lev -= 1;
}
if (in_args <= MAX_LEV_DISTANCE) { if (in_args <= MAX_LEV_DISTANCE) {
if (results_in_args[fullId] === undefined) { if (results_in_args[fullId] === undefined) {
results_in_args[fullId] = { results_in_args[fullId] = {