Increase doc search MAX_LEV_DISTANCE to 3

huhu · Apr 15, 2020 · 1243470 · 1243470
1 parent 836d5d3
commit 1243470
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/extension/search/docs/base.js b/extension/search/docs/base.js
@@ -32,7 +32,7 @@ var TY_PRIMITIVE = itemTypes.indexOf("primitive");
 var TY_KEYWORD = itemTypes.indexOf("keyword");
 
 // Max levenshtein distance.
-var MAX_LEV_DISTANCE = 2;
+var MAX_LEV_DISTANCE = 3;
 
 class DocSearch {
 

diff --git a/extension/search/docs/crate-doc.js b/extension/search/docs/crate-doc.js
@@ -30,12 +30,11 @@ class CrateDocSearchManager {
                     return crate;
                 });
 
-                let len = list.length;
                 list = list.filter(item => !crateName || item.name.toLowerCase().indexOf(crateName) > -1)
                     .sort((a, b) => a.name.localeCompare(b.name));
                 list.unshift({
                     content: crateName, // Non-empty value is required for content, so maybe give it a crate name.
-                    description: `Following ${len} crate(s) were added by you, select one to search their docs exclusively.`
+                    description: `Following ${list.length} crate(s) were added by you, select one to search their docs exclusively.`
                 });
                 return list;
             }