diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-12-15 15:42:38 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-12-15 15:42:38 +0100 |
| commit | 97c18f420e33b6468949cf42662b3fdac809f14e (patch) | |
| tree | c15dc75493b0cf17052e2c6b63e6c52992fbc709 /src/librustdoc/html/static | |
| parent | 6351ebb7e55345d799499c8a326530d3ce35e00a (diff) | |
| download | rust-97c18f420e33b6468949cf42662b3fdac809f14e.tar.gz rust-97c18f420e33b6468949cf42662b3fdac809f14e.zip | |
Improve results a bit
Diffstat (limited to 'src/librustdoc/html/static')
| -rw-r--r-- | src/librustdoc/html/static/main.js | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 0c775f2a58e..1b9035367f7 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -926,8 +926,12 @@ } lev += lev_add; - if (searchWords[j].startsWith(val)) { - lev -= 1; + if (lev > 0 && val.length > 3 && searchWords[j].startsWith(val)) { + if (val.length < 6) { + lev -= 1; + } else { + lev = 0; + } } if (in_args <= MAX_LEV_DISTANCE) { if (results_in_args[fullId] === undefined) { |