Improve results a bit

GuillaumeGomez · GuillaumeGomez · commit 97c18f420e33 · 2017-12-15T15:42:38.000+01:00
diff --git 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) {

Original file line number	Diff line number	Diff line change
`@@ -926,8 +926,12 @@`
`926`	`926`	`}`
`927`	`927`
`928`	`928`	`lev += lev_add;`
`929`		`- if (searchWords[j].startsWith(val)) {`
`930`		`- lev -= 1;`
	`929`	`+ if (lev > 0 && val.length > 3 && searchWords[j].startsWith(val)) {`
	`930`	`+ if (val.length < 6) {`
	`931`	`+ lev -= 1;`
	`932`	`+ } else {`
	`933`	`+ lev = 0;`
	`934`	`+ }`
`931`	`935`	`}`
`932`	`936`	`if (in_args <= MAX_LEV_DISTANCE) {`
`933`	`937`	`if (results_in_args[fullId] === undefined) {`